{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# The Puzzle of the Misanthropic Neighbors"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Consider [this puzzle](http://fivethirtyeight.com/features/can-you-solve-the-puzzle-of-your-misanthropic-neighbors/)  from [The Riddler](http://fivethirtyeight.com/tag/the-riddler/):\n",
    "    \n",
    "> *The misanthropes are coming. Suppose there is a row of some number, N, of houses in a new, initially empty development. Misanthropes are moving into the development one at a time and selecting a house at random from those that have nobody in them and nobody living next door. They keep on coming until no acceptable houses remain. At most, one out of two houses will be occupied; at least one out of three houses will be. But what’s the expected fraction of occupied houses as the development gets larger, that is, as N goes to infinity?*\n",
    "\n",
    "# Consider *N*=4 Houses\n",
    "\n",
    "![N houses](http://www.publicdomainpictures.net/pictures/180000/nahled/street-doodle.jpg)\n",
    "\n",
    "To make sure we understand the problem, let's try a simple example, with *N*=4 houses. We will represent the  originally empty row of four houses by four dots:\n",
    "\n",
    "     ....\n",
    "     \n",
    "Now the first person chooses one of the four houses (which are all acceptable). We'll indicate an occupied house by a `1`, so the four equiprobable choices are:\n",
    "\n",
    "     Choice 0: 1...\n",
    "     Choice 1: .1..\n",
    "     Choice 2: ..1.\n",
    "     Choice 3: ...1\n",
    "     \n",
    "When a house is occupied, any adjacent houses become unacceptable. We'll indicate that with a `0`:\n",
    "\n",
    "     Choice 0: 10..\n",
    "     Choice 1: 010.\n",
    "     Choice 2: .010\n",
    "     Choice 3: ..01\n",
    "     \n",
    "In all four cases, a second occupant has a place to move in, but then there is no place for a third occupant. \n",
    "The occupancy is 2 in all cases, and thus the *expected occpancy* is 2. The occupancy fraction, or *density*, is 2/*N* = 2/4 = 1/2.\n",
    "     \n",
    "\n",
    "# Consider *N*=7 Houses\n",
    "\n",
    "With *N*=7 houses, there are 7 equiprobable choices for the first occupant:\n",
    "\n",
    "     Choice 0: 10.....\n",
    "     Choice 1: 010....\n",
    "     Choice 2: .010...\n",
    "     Choice 3: ..010..\n",
    "     Choice 4: ...010.\n",
    "     Choice 5: ....010\n",
    "     Choice 6: .....01\n",
    "     \n",
    "Now we'll add something new: the lengths of the **runs** of consecutive acceptable houses to the left and right of the chosen house:\n",
    "\n",
    "     Choice 0: 10..... runs = (0, 5)\n",
    "     Choice 1: 010.... runs = (0, 4)\n",
    "     Choice 2: .010... runs = (1, 3) \n",
    "     Choice 3: ..010.. runs = (2, 2) \n",
    "     Choice 4: ...010. runs = (3, 1) \n",
    "     Choice 5: ....010 runs = (4, 0) \n",
    "     Choice 6: .....01 runs = (5, 0) \n",
    "     \n",
    "# Defining `occ(n)`\n",
    "\n",
    "This gives me a key hint as to how to analyze the problem. I'll define `occ(n)` to be the expected number of occupied houses in a row of `n` houses. So:\n",
    "\n",
    "     Choice 0: 10..... runs = (0, 5); occupancy = occ(0) + 1 + occ(5)\n",
    "     Choice 1: 010.... runs = (0, 4); occupancy = occ(0) + 1 + occ(4)\n",
    "     Choice 2: .010... runs = (1, 3); occupancy = occ(1) + 1 + occ(3)\n",
    "     Choice 3: ..010.. runs = (2, 2); occupancy = occ(2) + 1 + occ(2)\n",
    "     Choice 4: ...010. runs = (3, 1); occupancy = occ(3) + 1 + occ(1)\n",
    "     Choice 5: ....010 runs = (4, 0); occupancy = occ(4) + 1 + occ(0)\n",
    "     Choice 6: .....01 runs = (5, 0); occupancy = occ(5) + 1 + occ(0)     \n",
    "     \n",
    "So we can say that `occ(n)` is:\n",
    "\n",
    "- 0 when `n` is 0 (because no houses means no occupants),\n",
    "- 1 when `n` is 1 (because one isolated acceptable house has one occupant),\n",
    "- else the mean, over the `n` choices for the first occupied house,\n",
    "of the sum of that house plus the occupancy of the runs to the left and right.\n",
    "\n",
    "We can implement that:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "from statistics import mean\n",
    "\n",
    "def occ(n):\n",
    "    \"The expected occupancy for a row of n houses (under misanthrope rules).\"\n",
    "    return (0 if n == 0 else\n",
    "            1 if n == 1 else\n",
    "            mean(occ(L) + 1 + occ(R)\n",
    "                 for (L, R) in runs(n)))\n",
    "\n",
    "def runs(n):\n",
    "    \"\"\"A list [(L, R), ...] where the i-th tuple contains the lengths of the runs\n",
    "    of acceptable houses to the left and right of house i.\"\"\"\n",
    "    return [(max(0, i - 1), max(0, n - i - 2))\n",
    "            for i in range(n)]\n",
    "\n",
    "def density(n): return occ(n) / n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Let's check that `occ(4)` is 2, as we computed it should be, and for other small values, up to 7:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "{0: 0,\n",
       " 1: 1,\n",
       " 2: 1,\n",
       " 3: 1.6666666666666667,\n",
       " 4: 2,\n",
       " 5: 2.466666666666667,\n",
       " 6: 2.888888888888889,\n",
       " 7: 3.323809523809524}"
      ]
     },
     "execution_count": 2,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "{n: occ(n) for n in range(8)}"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "That looks good, although I can't prove the value above 4 are ccorrect. Now check that `runs(7)` is what we described above:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "[(0, 5), (0, 4), (1, 3), (2, 2), (3, 1), (4, 0), (5, 0)]"
      ]
     },
     "execution_count": 3,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "runs(7)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Dynamic Programming Version of `occ`\n",
    "\n",
    "The computation of `occ(n)` makes multiple calls to `occ(n-1), occ(n-2),` etc. To avoid re-computing the same calls over and over, we will modify `occ` to save previous results using [dynamic programming](https://en.wikipedia.org/wiki/Dynamic_programming). I could implement that in one line with the decorator [`@functools.lru_cache`](https://docs.python.org/3/library/functools.html#functools.lru_cache), but then I would have to worry about the recursion limit. Instead I will explicitly manage a list, `cache`, such that `cache[n]` holds `occ(n)`:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [],
   "source": [
    "def occ(n, cache=[0, 1]):\n",
    "    \"The expected occupancy for a row of n houses (under misanthrope rules).\"\n",
    "    # Store occ(i) in cache[i] for all as-yet-uncomputed values of i up to n:\n",
    "    for i in range(len(cache), n+1):\n",
    "        cache.append(mean(cache[L] + 1 + cache[R]\n",
    "                          for (L, R) in runs(i)))\n",
    "    return cache[n]"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Let's make sure this new version gets the same results as the old version:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "True"
      ]
     },
     "execution_count": 5,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "occ(4) == 2"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "3.323809523809524"
      ]
     },
     "execution_count": 6,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "occ(7)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Let's make sure the caching makes computation pretty fast the first time, and *very* fast the second time:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "CPU times: user 2.68 s, sys: 13.5 ms, total: 2.7 s\n",
      "Wall time: 2.71 s\n"
     ]
    },
    {
     "data": {
      "text/plain": [
       "864.9617138385324"
      ]
     },
     "execution_count": 7,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "%time occ(2000)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "CPU times: user 4 µs, sys: 0 ns, total: 4 µs\n",
      "Wall time: 5.01 µs\n"
     ]
    },
    {
     "data": {
      "text/plain": [
       "864.9617138385324"
      ]
     },
     "execution_count": 8,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "%time occ(2000)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Plotting `density(n)`\n",
    "\n",
    "To get a feel for the limit of `density(n)`, start by drawing a plot over some small values of `n`:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [],
   "source": [
    "%matplotlib inline\n",
    "import matplotlib.pyplot as plt\n",
    "plt.style.use('fivethirtyeight')\n",
    "\n",
    "def plot_density(ns):\n",
    "    \"Plot density(n) for each n in the list of numbers ns.\"\n",
    "    plt.xlabel('n houses'); plt.ylabel('density(n)')\n",
    "    plt.plot(ns, [density(n) for n in ns], 's-')\n",
    "    return density(ns[-1])"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "0.4353323288377046"
      ]
     },
     "execution_count": 10,
     "metadata": {},
     "output_type": "execute_result"
    },
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAcQAAAEtCAYAAACWFBBVAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzt3XlUFFeiBvCvuwG36BOQTRY1QgxugGQMZlFCoo5vdJAB\njBv6JGpUEp9OXIIvaohEIm5RI5oIjNExbgnGuI5GwZBIyEKYOJkRWxJwb5BViAt09/sDaHunWxu7\nob7fOZyTqr5VdbnD+PWtunWvqLKyUgkiIiKBE1u7AkRERLaAgUhERAQGIhEREQAGIhEREQAGIhER\nEQAGIhEREQAGIhEREQAbCMSzZ89iwoQJ6Nu3LxwdHbF79+5mj/n3v/+NP/3pT/Dw8EC/fv2QnJz8\nCGpKRERtmdUDsba2Fv369cN7772Hjh07Nlv+1q1biIiIgLu7O7KyspCUlIRNmzZh8+bNj6C2RETU\nVtlZuwLDhw/H8OHDAQBz5sxptvy+fftw+/ZtbNmyBQ4ODujTpw8uXLiAlJQUxMXFtXR1iYiojbJ6\nD9Fc33//PYYMGQIHBwfVvhdffBHXr1/HpUuXrFgzIiJqzVpdIJaUlMDV1VVjn4uLC5RKJUpKSqxU\nKyIiau1aXSASERG1hFYXiK6urjo9wdLSUohEIp2eIxERkalaXSAOHjwYOTk5uHfvnmrf6dOn4eHh\nAR8fHyvWjIiIWjOrB2JtbS3OnTuHn3/+GQqFAleuXMG5c+dw5coVAEBCQgLCw8NV5aOiotCxY0fM\nmTMH//nPf/DFF19gw4YNzY4wDf2iROfn5TcSWvR3a42kUqm1q9BqsK1Mx7YyHdvKeqz+2sVPP/2E\nMWPGQCQSAQCSkpKQlJSECRMmYPPmzZDJZCguLlaV79KlCw4cOIAFCxYgLCwMXbt2xeuvv97sKxs1\nhzbhVt39tZAf72IHH9fHWuaXIiKiVkdUWVmpbL5Y6/fmt5X4tuT+bdaVg/8Lz7i3s2KNbJNUKoWf\nn5+1q9EqsK1Mx7YyHdvKeqx+y/RRkWj9pnJBfA0gIiJTCSYQ7RpvyTapVzARiYjoPsEEonYPsZ55\nSEREagQTiOwhEhGRMcIJRD5DJCIiIwQTiBLNDiJ7iEREpEEwgWgn1kxE9hCJiEidcAJRp4donXoQ\nEZFtEkwgSrQH1SjZRSQiovsEE4g6g2rYQyQiIjWCCUSdQTXsIRIRkRrBBKL2oBo+QyQiInXCCUSt\nHiJHmRIRkTrhBKJ2D5G3TImISI1gAlH7GSIH1RARkTrhBCJ7iEREZIRgApEv5hMRkTHCCUSdyb3Z\nQyQiovuEE4g6yz9ZqSJERGSTBBOI2gsE87ULIiJSJ5xA5ALBRERkhGACUfsZYj3zkIiI1AgnELlA\nMBERGSGcQOQCwUREZIRgApEz1RARkTGCCUTOZUpERMYIJhB11kNkD5GIiNQIJhB1XsxnD5GIiNQI\nJxC1X8xnD5GIiNTYRCCmpqYiICAA7u7uCA0NRU5OjtHyBw4cwPPPP4/u3btj4MCB2LRpU7PX0BlU\nwx4iERGpsXogZmRkID4+HgsWLEB2djYGDx6M6OhoXL16VW/5kydPYsaMGYiNjUVOTg7Wrl2LlJQU\npKamGr2O7qAai/0KRETUBlg9EFNSUjB58mTExMTAz88PycnJcHNzQ3p6ut7y+/btw6hRozBt2jT0\n6NEDw4cPx/z58/H+++8bvY7OTDW8ZUpERGqsGoh1dXXIz89HaGioxv6wsDDk5ubqPebu3bto3769\nxr727dvj2rVruHz5ssFr6cxlylumRESkxqqBWFZWBrlcDldXV439Li4uKCkp0XvMiy++iKNHjyIz\nMxNKpRIXL17E5s2bAQAymczgtbSnbuOgGiIiUmf1W6bmmjp1KmbOnIlJkybBxcUFI0aMQGRkJABA\nLDb862gv/8QeIhERqbOz5sWdnZ0hkUh0eoOlpaU6vUZ1y5cvx7JlyyCTydCtWzdkZWUBAHr27Gnw\nmKLCQgD/pdqulyshlUofpvptFtvFdGwr07GtTMe2ap6fn5/Fz2nVQLS3t0dgYCCysrIQHh6u2p+Z\nmYmxY8caPVYkEsHd3R0AsH//fgwePBhOTk4Gyz/5hC9QUKralkMEX19fiLSeLQqdVCptkT+0toht\nZTq2lenYVtZj1UAEgLi4OMyaNQtBQUEICQlBWloaZDIZpk2bBgBISEhAXl4eDh48CAAoLy/H559/\njueeew53797F3//+dxw6dAhHjx41eh2xSAQxAPVHh3Kl7rNFIiISJqsHYkREBCoqKrB27VrIZDL4\n+/tj//798PT0BNAwUKa4uFjjmD179mD58uVQKpX4wx/+gCNHjiAwMLDZa0nEgEItEeVKG2gAIiKy\nCTaRB7GxsYiNjdX7WUpKisa2k5MTTpw48UDXkYhEqMP9wTT1CiXaaU9hQ0REgtTqRpk+DJ35TDnQ\nlIiIGgkrELkEFBERGSCsQOQiwUREZICgAlFnxQv2EImIqJHAApE9RCIi0k9QgcgVL4iIyBBhBSIX\nCSYiIgOEFYhcJJiIiAwQVCBqr3jBQTVERNREUIFox0E1RERkgKACUfu1Cw6qISKiJoIKRJ1Rpuwh\nEhFRI2EFotYtUz5DJCKiJoIKRJ1BNewgEhFRI0EFos6gGgUTkYiIGggrEHWeIVqnHkREZHsEFYg6\nc5myh0hERI0EFYhcIJiIiAwRVCDqLv/ERCQiogaCCkTOZUpERIYIKxA5Uw0RERkgrEDU6SGyi0hE\nRA0EFYi6zxCtUw8iIrI9wg5E9hCJiKiRoAKRg2qIiMgQYQUiB9UQEZEBwgpEDqohIiIDBBWIOqtd\nsIdIRESNhBWI2nOZsodIRESNbCIQU1NTERAQAHd3d4SGhiInJ8do+VOnTmHEiBHw9vZG7969MXHi\nRBQWFjZ7He1niOwhEhFRE6sHYkZGBuLj47FgwQJkZ2dj8ODBiI6OxtWrV/WWLy4uxqRJk/Dss88i\nOzsbBw8exN27dzFu3Lhmr6W7/BN7iERE1MDqgZiSkoLJkycjJiYGfn5+SE5OhpubG9LT0/WWz8/P\nR319PZYtW4aePXuif//+mDdvHn777TdUVFQYvZbuAsEW+zWIiKiVs2og1tXVIT8/H6GhoRr7w8LC\nkJubq/eYQYMGwd7eHjt27IBCocCtW7fwySefIDg4GI6OjkavpzOohh1EIiJqZNVALCsrg1wuh6ur\nq8Z+FxcXlJSU6D3G29sbGRkZWLlyJVxdXdGjRw+cP38ee/bsafZ6uj1EJiIRETWws3YFzFVSUoLX\nX38dEyZMQGRkJGpqarBy5UpMnToVhw8fNnicVCqF7JYdgE6qfdU1tZBKSx9BrVsXqVRq7Sq0Gmwr\n07GtTMe2ap6fn5/Fz2lWICqVSvzyyy8oKChAWVkZRCIRnJ2d8cQTT6Bfv34QafXAmuPs7AyJRKLT\nGywtLdXpNTbZtm0bOnXqhLffflu178MPP0S/fv2Qm5uLp59+Wu9xfn5+qCy5C1ypUu1r16Ej/Pw8\nzapzWyeVSlvkD60tYluZjm1lOraV9ZgUiF999RV27dqFY8eOoaamBkqt0ZkikQiPPfYY/vjHP2LS\npEkYNmyYSRe3t7dHYGAgsrKyEB4ertqfmZmJsWPH6j3m9u3bkEgkGvvE4oY7vwqF8VEynMuUiIgM\nMRqIX375Jd59913k5+fD398fMTExCAwMRM+ePdG1a1colUpUVlaiuLgY+fn5qiALCAjA0qVL8eKL\nLzZbgbi4OMyaNQtBQUEICQlBWloaZDIZpk2bBgBISEhAXl4eDh48CAAYMWIEtmzZguTkZERFRaG6\nuhorVqyAl5cXAgMDjV6Lyz8REZEhRgNxypQpiImJwdatW9GnTx+D5ZreHQSAgoICpKWlYcqUKQbf\nJVQXERGBiooKrF27FjKZDP7+/ti/fz88PRtuZcpkMhQXF6vKDx06FKmpqdiwYQM2bdqEDh064Kmn\nnsJnn32GDh06GP9lOZcpEREZIKqsrDSYCmVlZXB2dn6gEz/MsS3lQmUdZn51/11F3y52SA11smKN\nbA+fX5iObWU6tpXp2FbWY/S1i4cJNFsLQ0B3LlMuEExERE2sPlPNo6Q7dZt16kFERLbH7Ncutm/f\njp07d6KoqAiVlZU6ZUQiEcrKyixWQUvSHVTDRCQiogZmBeKyZcuwefNmDBgwAOPGjUPXrl1bql4t\ngq9dEBGRIWYF4u7du/HnP/8Z27dvb6HqtCydW6Z87YKIiBqZ9Qzxzp07OhNxtyY6c5lyUA0RETUy\nKxCHDh2KvLy8lqpLi+OL+UREZIhZgbh27Vr88MMPWLNmjcHVKGyZ7vJP7CESEVEDs54hBgUFQalU\nYuXKlVi5ciXs7e1V84g2EYlEuHbtmkUraSlcIJiIiAwxKxAjIiLMXtHCluh7D1GpVLbq34mIiCzD\nrEDcsmVLS9XjkRCLRBADUO8YypWAHfOQiEjwBDVTDaDvOaJ16kFERLbFaCB+9dVXD3zihzm2JXE+\nUyIi0sdoIL788ssYPnw4du/ejerq6mZPVl1djU8++QTDhw/H+PHjLVZJS+LL+UREpI/RZ4g//vgj\nVq1ahf/93//FvHnzEBQUZHSB4J9++gkAMHHiROzYseOR/ALm0n5eyEAkIiKgmUDs3r07NmzYgGXL\nlmHPnj04evQoduzYgdu3b2uU69ixI4KDg5GQkIBx48bBycl21xhsmM/0/m1SzlZDRESAiaNMnZ2d\nERcXh7i4ONTX1+PKlSsoLy8HADg5OcHb2xsSiaRFK2opnK2GiIj0Meu1CwCws7NDz5490bNnzxao\nTsvTXfGCPUQiIjLztYtXXnkFX375JRSK1tut0ukhMg+JiAhmBuJXX32FcePG4cknn8SSJUuQn5/f\nUvVqMbqDapiIRERkZiCeP38ee/bswdChQ/Hxxx8jLCwMISEheP/993H16tWWqqNFcZFgIiLSx6xA\nlEgkGDFiBFJTU3HhwgVs3rwZHh4eSExMxMCBA/HnP/8Zn3zyCWpqalqqvg9NZ6aa1nv3l4iILOiB\np27r1KkTJkyYgAMHDuCXX35BeHg4srOz8dprr+GJJ57AzJkzbfKWKhcJJiIifcweZaquqKgI+/bt\nw759+1BYWIhu3bohMjISDg4O2Lt3Lz777DMkJSVh5syZlqrvQ9OeqYY9RCIiAh4gECsrK5GRkYG9\ne/fi+++/h729PUaOHIkVK1Zg+PDhsLNrOOVbb72FGTNmYM2aNTYViNqjTNlDJCIiwMxAnDhxIk6d\nOoV79+4hODgYq1evRmRkJLp27apT1sHBAaNHj8YXX3xhscpaAhcJJiIifcwKxJ9//hmvvfYaxo8f\nDz8/v2bLv/DCCzh06NADV64lcPknIiLSx6xA/Ne//mXWybt164bnnnvOrGNamm4PkYlIRERmjjJ1\ncnLCp59+avDzjIwMm57YG9Cz/BPzkIiIYGYgKpVKKI0MQlEoFBBp9cBMkZqaioCAALi7uyM0NBQ5\nOTkGy7733ntwdHSEk5MTHB0dVT9OTk4oKytr9lraPUQ5e4hERIQHeA/RWOD98MMPegfYGJORkYH4\n+HgsWLAA2dnZGDx4MKKjow3OfDN37lxcuHABBQUFuHDhAi5cuIBnn30Wzz//PJydnZu9nvYzRPYQ\niYgIMOEZ4pYtW7B161bVdnx8PFasWKFTrqqqCtXV1Rg/frxZFUhJScHkyZMRExMDAEhOTsapU6eQ\nnp6OpUuX6pTv2LEjOnbsqNq+cuUKcnJysG3bNpOup7v8ExORiIhMCEQXFxc8+eSTAIBLly7Bw8MD\nHh4eGmVEIhE6deqEwMBATJ8+3eSL19XVIT8/H6+//rrG/rCwMOTm5pp0jp07d8LR0RFjxowxqTzn\nMiUiIn2aDcSoqChERUUBAEaPHo2FCxdi2LBhFrl4WVkZ5HI5XF1dNfa7uLjgzJkzzR6vUCiwa9cu\njB8/Hvb29iZdU3e1C5OrS0REbZhZr10cPny4perxQE6ePIlr165h6tSpzZaVSqUAgOqq9gDaqfbL\nSm9CqrzbUlVslZraiprHtjId28p0bKvmmfIuvLmMBuLly5cBAN7e3hrbzWkq3xxnZ2dIJBKUlJRo\n7C8tLdXpNerz8ccf4+mnnzapYZrKuNTXAGW/q/Z3dXaGn18nk+orBFKptEX+0NoitpXp2FamY1tZ\nj9FAHDhwIEQiEW7cuAEHBwfVdnPKy8tNuri9vT0CAwORlZWF8PBw1f7MzEyMHTvW6LE3btzAiRMn\n8MEHH5h0rSYcVENERPoYDcQPPvgAIpFI9XyuaduS4uLiMGvWLAQFBSEkJARpaWmQyWSYNm0aACAh\nIQF5eXk4ePCgxnE7d+5Ep06dmg1ObRxUQ0RE+hgNxEmTJhndtoSIiAhUVFRg7dq1kMlk8Pf3x/79\n++Hp6QkAkMlkKC4u1jnu73//O8aNG4f27dubdT0OqiEiIn0eaj3EJjdu3EBVVRX69OnzQMfHxsYi\nNjZW72cpKSl69//zn/98oGvp9hDZRSQiIjNnqtm+fTvmzJmjsW/hwoXo27cvhgwZgqFDh5o0fZo1\n6ax2wR4iERHBzEBMS0vTmCUmOzsbqampiIqKwrJly/Drr79izZo1Fq+kJenMZcoeIhERwcxbpsXF\nxRrv/B04cACenp7YunUrxGIxqqqqcODAASQlJVm8opaiPcqUzxCJiAgws4col8s1ZoTJzMzESy+9\nBLG44TSPP/44bty4YdkaWpju8k/sIRIRkZmB2KNHD9WUaj/99BOKiooQFham+rykpASdO3e2bA0t\nTHeBYCtVhIiIbIpZt0xjY2OxcOFCnD9/HteuXYOnpydGjBih+vzbb79VTQRuq3QG1bCDSEREMDMQ\np0+fDgcHB5w4cQKBgYGYN2+e6j3AiooKlJaWGnx9wlZwUA0REelj9nuIU6ZMwZQpU3T2Ozo6Iisr\nyxJ1alE6zxB5y5SIiGDmM8S2QHeUKXuIRET0AD3EU6dOYefOnSgqKkJlZSWUWrccRSIR8vPzLVZB\nS+NcpkREpI9Zgbhx40a8/fbbcHV1xaBBg9C3b9+WqleL0V3twjr1ICIi22JWIG7duhVDhw7F/v37\nTV6h3tZwLlMiItLHrGeIlZWVCA8Pb7VhCOiudsHXLoiICDAzEIODgyGVSluqLo+ETg+Rg2qIiAhm\nBuKaNWtw+PBh7Nu3r6Xq0+J0RpkyD4mICGY+Q5wyZQru3buHWbNmYf78+fDw8IBEItEoIxKJ8O23\n31q0kpakO6iGiUhERGYGYrdu3eDi4gJfX9+Wqk+L42sXRESkj1mBeOTIkZaqxyPDmWqIiEgfwc1U\nw7lMiYhIH7MDsby8HImJiRg5ciQGDRqE7777TrV/1apVKCgosHglLUl7tQv2EImICDDzlmlxcTFG\njRqF8vJy9O3bF0VFRbh9+zYAwMnJCRkZGbh58yZWr17dIpW1BJ1BNewhEhERzAzE5cuXQ6lU4ttv\nv0Xnzp11Btf893//t80/Z+QCwUREpI9Zt0yzsrIwY8YM9OzZEyKtYAGAHj164Nq1axarXEvQGVSj\nhM4E5UREJDxmBeLdu3fRtWtXg59XVVVBLLbtcTpikUjnl2YnkYiIzEovf39/fPPNNwY/P3LkCAYO\nHPjQlWppHFhDRETazArE2bNn48CBA1izZg0qKioAAAqFAhcuXMD06dPxww8/IC4urkUqakl89YKI\niLSZNagmOjoaV65cwcqVK7Fy5UoAQGRkJABALBYjISEBo0aNsnwtLUwiBiC/v80eIhERmRWIADB/\n/nxERUXh0KFD+PXXX6FQKNCrVy+MGTMGPXv2bIEqWp72ElAMRCIiMjsQAcDb2xtz5syxdF0emYb5\nTO/fJuUiwUREZPQZoqOjI5ycnMz+MVdqaioCAgLg7u6O0NBQ5OTkNHtMSkoKBg8eDDc3N/j7++Od\nd94x+Xq6L+ebW2MiImprjPYQFy1apPO+4eHDh1FQUICwsDDVi/kXL17E6dOn8eSTT+JPf/qTWRXI\nyMhAfHw81q1bh5CQEGzbtg3R0dHIzc2Fp6en3mOWLFmCkydPYsWKFfD390d1dTVkMpnJ19Re8YJL\nQBERkdFAjI+P19jevn07ysvLkZubi8cff1zjs4sXL2LMmDHw8PAwqwIpKSmYPHkyYmJiAADJyck4\ndeoU0tPTsXTpUp3yUqkU27ZtQ05OjsZMOQMGDDD5mjrPEJmHRESCZ9ZrFxs3bsT06dN1whAAfH19\nMX36dGzYsMHk89XV1SE/Px+hoaEa+8PCwpCbm6v3mGPHjqFXr144ceIEAgMDMXDgQMyePRs3b940\n+brat0zr2UMkIhI8swLx2rVrsLMz3KmUSCRmTd1WVlYGuVwOV1dXjf0uLi4oKSnRe0xRUREuXbqE\nAwcOYOvWrfjoo48glUoxYcIEk6/LRYKJiEibWaNM/f39kZqaiqioKHTv3l3js6tXryItLQ19+/a1\naAW1KRQK3Lt3Dx999BF69eoFAPjwww/x1FNPIS8vD4MGDdJ7nFQqVf133d1OUP/Vi4ovQ1Iq13OU\nMKm3FRnHtjId28p0bKvm+fn5WfycZgXiypUrERkZieDgYIwaNUp16/TXX3/F8ePHoVQq8dFHH5l8\nPmdnZ0gkEp3eYGlpqU6vsYmbmxvs7OxUYQgAvXv3hkQiweXLlw0GonrjPSarAO7Uqba7e3nBz9nB\n5Hq3ZVKptEX+0NoitpXp2FamY1tZj1mBOGTIEHz55Zd49913cfz4cdVaiB06dEBYWBji4+PRr18/\nk89nb2+PwMBAZGVlITw8XLU/MzMTY8eO1XtMSEgI6uvrUVRUpJoI4LfffoNcLoePj49J19VZ8YIv\n5hMRCZ7ZL+b37dsXu3btgkKhUA1k6dat2wOvchEXF4dZs2YhKCgIISEhSEtLg0wmw7Rp0wAACQkJ\nyMvLw8GDBwEAoaGhCAgIwGuvvYaVK1dCqVRiyZIlGDx4MIKCgky6ps6aiHwxn4hI8B5ophqgYe5S\nQ7c1zREREYGKigqsXbsWMpkM/v7+2L9/v+odRJlMhuLiYlV5kUiEvXv3YvHixRg9ejTat2+PF154\nAe+++67J19QdZfrQvwYREbVyDxyIlhQbG4vY2Fi9n6WkpOjsc3V1xd/+9rcHvp728k+cqYaIiGx7\nNd8WonPLlO8hEhEJnjADkT1EIiLSIsxAZA+RiIi0CDIQtZ8hcqYaIiISZiBqL//EHiIRkeAJMhA5\nlykREWkTZiBygWAiItIizEDU7iHylikRkeAJMhB1ZqphHhIRCZ5NzFTzqGn3ED/7aCOOKO+hXgmI\nRfe/Jfg4dsLqtxY8+goSEdEjJ8hA1O4hVtTehnjUa7oFz2x5NBUiIiKrE+QtU+1BNbW8Z0pEJHjC\nDEStW6a1dQxEIiKhE2Qgas9UwzgkIiJBBqL2XKZERESCHFSjvdqF2L4drmds1Njn85gEPu6dH2Gt\niIjImoQZiFodRLcxr+qUiejdAXP6MRCJiIRCkLdMJSbcMi26JX8ENSEiIlshzEA04bf+rbq+5StC\nREQ2Q5CBaMqgmtI7CtTUKR5BbYiIyBYIMxBN/K1525SISDiEGYgmvnZRdIu3TYmIhEKQgWjKM0SA\nzxGJiIREmIFooIOovfs39hCJiARDkIGoPZdpk4HO9hrbv/EZIhGRYAgzEA30EJ91bwd7tRapuKtA\n5V2ONCUiEgJhBqKBHmLvLnbweUxz8h4OrCEiEgZBBqKhZ4i9OtuhV2eJxj4GIhGRMNhEIKampiIg\nIADu7u4IDQ1FTk6OwbKXLl2Co6Ojxo+TkxNOnz5t8vX0vYfYxUEEx3Yi9Oqi2UPkc0QiImGw+uTe\nGRkZiI+Px7p16xASEoJt27YhOjoaubm58PT01HuMSCRCRkYG+vXrp9rn6Oho8jX1zWXaq7MdRCIR\nenbmLVMiIiGyeg8xJSUFkydPRkxMDPz8/JCcnAw3Nzekp6cbPEapVKJr165wcXFR/djZmZ7t+nqI\nvRqDsKfWLdPfquuhVHIJYSKits6qPcS6ujrk5+fj9ddf19gfFhaG3Nxco8fGxMTgzp076N27N2bP\nno3w8HCTr/tO8jpc/7VKY9+hThJc9egMJZSQFVZB0ZiB1wFEnrBHb+dOWP3WApOvQURErYtVA7Gs\nrAxyuRyurq4a+11cXHDmzBm9xzz22GNITExESEgIJBIJjh49itjYWGzduhXR0dEmXfda5e/w+Mtc\njX1yAJfObAEAuEVoflYOwL7xMyIiapus/gzRXE5OToiLi1NtBwYGoqKiAhs2bDA5EE2byVRT+V0F\nlEolRCbOg0pERK2LVQPR2dkZEokEJSUlGvtLS0t1eo3GDBo0CLt27TJaRiqVqv77zp3besvcvq27\nX3boQyjq7uLezav4w/S34OYgh0QEuHeyx8KZU0yuY2ui3lZkHNvKdGwr07Gtmufn52fxc1o1EO3t\n7REYGIisrCyNZ4CZmZkYO3asyef5+eef4ebmZrSMeuN17NABt/SU6dChAwCgWm2fou6uxu3V2qay\nZ7a0yP8g1iaVStvk79US2FamY1uZjm1lPVa/ZRoXF4dZs2YhKCgIISEhSEtLg0wmw7Rp0wAACQkJ\nyMvLw8GDBwEAu3fvhr29PQYOHAixWIxjx44hPT0dCQkJj7TeHHdKRNS2WD0QIyIiUFFRgbVr10Im\nk8Hf3x/79+9XvYMok8lQXFysccyaNWtw5coViMVi+Pr6YvPmzYiKijL5mj6OnQA9g2R8HDs1/Ifa\nZ6WV1/SeQ/Y7X9gnImpLRJWVlezsGPHyGwmQDZut2lZ/ptinVw/8l0PDIBsfx7bxWgZv15iObWU6\ntpXp2FbWY/UeYmuj/kzxTuMPAL09TiIiaj0YiM1Qv71aU6/EvZtXrVwjIiJqCQzEZmjfBg2LWw71\nFRKbbqFeLbuKqL8mqFbSaCu3UImIhIKBaCaX9mLI1LbVb6HeVC/IW6hERK0KA9HCmnqMJZXX8PIb\n918FYY+RiMi2MRDNpP5M8bZcictazxTVe4zqPUn2GImIbBsD0UzavbzoNxJQaqBsU28RAGQV1zDu\njQSIwN7Z7WInAAAR2klEQVQiEZEtYiA+JGMLSmpP+3auMSDPXfw3LvF2KhGRTWEgPiTtWW9kFfpn\ntgF0b6c29SB/KWRAEhFZGwPxIWkH18tvJGg+OzSCAUlEZDsYiBam3mMsMzAPqiHqAfmz2vPHc4X/\nxpejJ6DergPa2UvQ28dL43oMSyKih8dAtDD1cDKnt6hN+/nj9YyN7E0SEbUgBmIL0n6+aG6P0RhD\nt1vzpb/gyKjxUDp0hFgEtLcTQ3mnFnXsXRIRGcVAbEHaYbMwcQ0uPYKAVO9Nam+rh+c/L/6CX+a+\njSuFBZDbd0AHOzHu1VZB2a4zAGgEKMOTiNo6BuIj9CgD0hj18PwdwN3qjQbD9Ge1nucPccsh+7UA\nSocOcLCTwMfLC5cuNoRpezsxFI09UaAhTBW3a9gzJaJWg4FoRcYC8lGFY3PUw1MJQK4WmLcA3Kky\nHKaGeqbq4apw6AAHiQSKO7VQ2DeGaWO41jcGbe8e3rhYcF4jXKVq203BCzCIiejBMRBtiPo/1tq9\nx+qbhShLf1P1j7ytBKY5jIWrsTAtAVBbphmu6ttmBfGc5bjxWwGU9h1gbyeBR3dPXPu1AHL7jnCQ\nNASxvDGYHezub7ezE6OHtzd+u3Ae9Y3bHq7dcPVSsWr0b3PBLH2IUNc+tglDnshyGIg2qrl/5Kx1\nu7U10g5ihVpg3gNQZ2IwVwC4XXF/uwbA7yYeqx3i5oa69rHqIX9o1HgoG0PcrjHUFfYdYC8Rw627\nF6439sTtJQ1fAK7+WtD4uUTzC4DaFwJ7OzG8vLxwSdpwS9zBTgwfby8USQsavhBI7vfigYZevfx2\nrerLQi8fbxReON/wZcFODA+Xbrh6uRh1dg29fnnj7XURzP/y8LBfJmz92O4uzrhyqdjkY/mc33IY\niK2UsdutTb1JoOH/MJ1u17T63iVpMnUQlRyaPfF7AOpNDPFaAPfUbolXA7hbadqxZQBul7fMl4eH\n/TJh68dWA6g1ci5jz/m/m7McssY7IHYSMVw8vCD7reELkPqXJQCwlzR8MWn68uTa9OVJ+8tU45cn\n+Z0aKByajpVAfrtG9UXLvbsnrhUWQK7+xUttW3GnRu26DdvyxvN29/RSDeyzl4g1th0kYnT38sJl\ntbEKT/T0BgDsXbsclsZAbCPM+WZo7HZsu5pKjTB1qJNbvK5EZDna7ywrtQJTYeIXEYVWWe0vU8aO\nrYPmFy1zvnjdAVB3y/D2bQB11ZpfEFoKA1GAjIWnVCqFn5+faru5Z5nq2009UYA9UyJqfRiIZJQl\nn0kYC9fmwpRBTEQtjYFIj4y1HvhbsperXra7izOqbxY/klBvC6OMiWydqLKyUmntSpDt0L5lSoZZ\ns60WJq7BpYrahno0jkAEbGekpHZZ7ZGTD3Pd1jBS9FGOMr1bJ4dz7Huqvw1jz+uMfWarx+rbBoCs\nP7vC0hiIpIGBaDq2lenYVqYzt63UvxwBaHVfAMz9AtT0mglHmRIRkQa+e2g5YmtXgIiIyBYwEImI\niMBAJCIiAmAjgZiamoqAgAC4u7sjNDQUOTk5Jh1XWFgILy8veHt7t3ANiYiorbN6IGZkZCA+Ph4L\nFixAdnY2Bg8ejOjoaFy9etXocXV1dXjllVfw7LPPPqKaEhFRW2b1QExJScHkyZMRExMDPz8/JCcn\nw83NDenp6UaPW7ZsGfr374/w8PBHVFMiImrLrBqIdXV1yM/PR2hoqMb+sLAw5ObmGjzuH//4B06e\nPInk5OQWriEREQmFVQOxrKwMcrkcrq6aMw64uLigpKRE7zHXr1/HvHnzsG3bNnTs2PFRVJOIiATA\n6rdMzfXqq6/ilVdeQVBQEABAqeREO5bE2URMx7YyHdvKdGwr67FqIDo7O0Mikej0BktLS3V6jU2y\ns7OxatUqdOvWDd26dcPcuXNRU1MDFxcX7Nix41FUm4iI2iCrTt1mb2+PwMBAZGVlaQyOyczMxNix\nY/Ueo/1KxpEjR7Bu3TqcPn0a7u7uLVpfIiJqu6w+l2lcXBxmzZqFoKAghISEIC0tDTKZDNOmTQMA\nJCQkIC8vDwcPHgQAPPnkkxrH5+XlQSwWo0+fPo+87kRE1HZYPRAjIiJQUVGBtWvXQiaTwd/fH/v3\n74enpycAQCaTobi42Mq1JCKito7LPxEREaEVjjI1x4NOCdeWrVu3DmFhYfDx8YGvry/Gjx+P//zn\nPzrlkpKS4O/vDw8PD4wePRrnz5+3Qm1ty7p16+Do6IhFixZp7GdbNZDJZJg9ezZ8fX3h7u6OIUOG\n4OzZsxpl2FaAQqFAYmKi6t+mgIAAJCYmQqFQaJQTaludPXsWEyZMQN++feHo6Ijdu3frlGmube7d\nu4eFCxeid+/e8PT0xIQJE3Dt2rVmr91mA/FBp4Rr686ePYsZM2bgxIkTOHToEOzs7DB27FhUVlaq\nyrz//vvYsmULVq9ejczMTLi4uCAiIgK1tbVGzty2ff/99/j444/Rv39/jf1sqwZVVVUYOXIkRCIR\nPv30U3z33XdYtWoVXFxcVGXYVg3Wr1+P9PR0rF69Gt9//z1WrVqFtLQ0rFu3TlVGyG1VW1uLfv36\n4b333tP7rrkpbfPmm2/iyJEjSE9Px7Fjx3Dr1i28/PLLzb6m12Zvmb700ksYMGAA1q9fr9oXHByM\nsWPHYunSpVasmW2pra2Fj48PPvnkE4wcORJAw8ClV199FfPnzwcA3LlzB35+fkhMTMTUqVOtWV2r\nqKqqQmhoKDZt2oT33nsPffv2Vc2SxLZq8M477yAnJwfHjh0zWIZt1eDll1+Gs7MzUlJSVPtmz56N\niooK7NmzBwDbqomXlxdWr16NCRMmqPY11zbV1dXw9fXFli1bEBkZCQC4evUqBgwYgM8++wwvvPCC\nweu1yR7ig04JJ0S3bt2CQqFA165dAQBFRUWQyWQafzTt27fHM888I9i2mzdvHiIiIvDcc89p7Gdb\n3Xf06FEEBwcjNjYWfn5+eP7557Ft2zbV52yr+4YMGYLs7GxIpVIAwPnz55Gdna36Qsq2MsyUtvnp\np59QX1+vUcbT0xN9+vRptv2sPsq0JRibEu7MmTNWqpVtevPNNxEQEIDBgwcDAEpKSiASiTRudQEN\nbXfjxg1rVNGqPv74YxQVFSEtLU3nM7bVfU1tNGfOHMyfPx/nzp3DokWLIBKJMH36dLaVmnnz5qGm\npgZPP/00JBIJ5HI53njjDdWrZmwrw0xpm9LSUkgkEjg5OemUMTQlaJM2GYhkmiVLluC7777D8ePH\nIRKJrF0dm3Px4kWsWLEC//jHPyAWt8mbKRajUCgQHBysehwxYMAAFBYWIjU1FdOnT7dy7WzLZ599\nhj179iA9PR19+vTBuXPnsHjxYvTo0QOTJ0+2dvUErU3+v/xBpoQTmvj4eBw4cACHDh2Cj4+Par+r\nqyuUSiVKS0s1ygux7b777juUl5fj6aefVk0V+M033yA1NRUuLi5wcnJiWzVyc3PDE088obHviSee\nwJUrVwDw70rd8uXLMXfuXIwdOxb+/v4YN24c4uLiVOMd2FaGmdI2rq6ukMvlKC8vN1jGkDYZiOpT\nwqnLzMxESEiIdSplQxYvXqwKw969e2t81rNnT7i5uSEzM1O1786dO8jJyRFc240ePRpnz57F119/\nrfoJCgpCVFQUvv76a/j6+rKtGoWEhKieiTWRSqXw9vYGwL8rdb///rvOHQexWKx67YJtZZgpbRMY\nGAg7OzuNMlevXkVBQUGz7Sd58803326RmltZ586dkZSUBDc3N3To0AHJycn49ttv8cEHH6BLly7W\nrp7VLFiwAHv37sX27dvh6emJ2tpa1XBlBwcHAIBcLsf69evh6+sLuVyO//u//0NJSQnWr1+vKiME\n7dq1U/UMm372798Pb29v1ag3tlUDb29vJCcnQywWw8PDA2fOnEFiYiLeeOMN1co0bKsGBQUF2Lt3\nL3x9fWFvb4+vvvoKiYmJiIqKUg0EEXJb1dbWoqCgADKZDDt37kS/fv3QpUsX1NXVoUuXLs22Tbt2\n7XDjxg2kpqaiX79+qKqqwl//+ld07doVb7/9ttHHQ232tQsASE9Px4YNG1RTwiUlJQn+G5ajo6Pe\nP4jFixdj8eLFqu1Vq1Zh+/btqKysRHBwMNasWaMzj6wQjRkzBv7+/hqLU7OtGpw8eRIJCQkoLCyE\nl5cXZs6ciRkzZmiUYVs1/IP/7rvv4vDhw7h58ybc3NwQGRmJRYsWaYSdUNvq66+/xpgxY3T+nZow\nYQI2b94MoPm2qaurw1tvvYVPP/0Ud+7cwbBhw7BmzRp0797d6LXbdCASERGZqk0+QyQiIjIXA5GI\niAgMRCIiIgAMRCIiIgAMRCIiIgAMRCIiIgAMRCIiIgAMRCKrmj17Ntzd3a1dDSICA5HIqkQiEVca\nIbIRDEQiIiIwEImIiAAwEIkeSlJSEhwdHXHx4kXMnj0bPXr0gI+PD+Li4nDnzh2Tz3P9+nVMnDgR\nXl5e8PX1xdKlS6FUak4zfPv2bSxduhT9+/eHm5sbgoOD8f7772uUu3TpEhwdHbF7926dazg6OmLV\nqlWq7draWrz11lsICAiAm5sbfH19MXr0aOTk5Ggcl5eXh+joaPj4+MDDwwOjRo1Cdna2RhlTz0Vk\ny+ysXQGi1qzp+V9sbCx69eqFt99+G//85z+xY8cOuLq6Yvny5c2eQy6XIzIyEk899RQSExORlZWF\nzZs34/HHH8e0adNU5SZOnIgzZ84gJiYGAQEBOHPmDBISEnD58mWsXbvW7LrPnz8fX3zxBWbMmIE+\nffqgsrISP/74I/71r39hyJAhABpWHoiKisLAgQOxePFi2NvbY+/evfjLX/6Czz//HM8++6zJ5yKy\ndQxEIgsIDAzExo0bVdtlZWXYuXOnSYFYX1+Pv/zlL1iwYAEA4H/+538wbNgw7Ny5UxWIR48eRVZW\nFpYsWYKFCxcCaAjhuLg4/O1vf8OMGTPMXhroxIkTmDJlClasWGGwzF//+lc888wzyMjIUO2LjY3F\n888/jxUrVuD48eMmn4vI1vGWKdFDEolEmDJlisa+IUOGoLy8HDU1NSadQ9/xRUVFqu2TJ09CIpHg\n1Vdf1Sj32muvQalU4sSJE2bXu0uXLvjxxx9x/fp1vZ+fO3cOUqkUkZGRKC8vV/1UVVUhNDQUP/zw\ng+q2cHPnImoN2EMksgAvLy+N7a5duwIAKisr8dhjjxk91t7eHq6urjrHV1ZWqrYvX74MV1dXdOnS\nRaOcn58fxGIxLl26ZHadV6xYgTlz5qB///4YOHAgXnzxRYwfPx6+vr4AgMLCQgANoauPSCRCeXk5\nunfv3uy5iFoDBiKRBUgkEr37tQfG6CMWW+5GjaF3GhUKhc6+8PBwPPPMMzh69ChOnz6Njz76CBs3\nbsSWLVsQGRmpOuadd97BwIED9Z63W7duJp2LqDVgIBK1At7e3sjKysKtW7fQuXNn1X6pVAqFQgEf\nHx8A93umVVVVGscb6kG6uLhg6tSpmDp1Kqqrq/HSSy8hKSkJkZGR6NWrFwCgU6dOGDZsWLN1NHYu\notaAzxCJWoGRI0dCLpfjww8/1Ni/efNmiEQijBgxAgDQuXNnODs74+zZsxrlUlNTNXqPCoUC1dXV\nGmW6dOmCHj16qMI0MDAQjz/+ODZv3qz3WWhZWZnJ5yJqDdhDJGoF/vjHP+KFF15AUlISLl26pHrt\n4vDhw4iNjdUYYTplyhSsX78ec+fORVBQEM6ePYvCwkKN27e3bt1C3759MWbMGPTv3x9dunRBTk4O\nTp06hZkzZwJouP26adMmREdHIyQkBJMmTYKnpyeuX7+Ob775BgDwxRdfmHQuotaAgUhkZYae+2nv\n37VrF5KSkpCRkYG9e/fCy8sLy5cvx9y5czXKLVq0CGVlZTh48CA+//xzjBgxAp9++il8fX1V5+zY\nsSNmzJiBzMxMHD9+HPX19fDx8UFiYiJmzZqlOtczzzyDkydPYvXq1UhPT8etW7fg6uqKQYMGqUbG\nmnouIlsnqqysbP6pPxERURvHZ4hERERgIBIREQFgIBIREQFgIBIREQFgIBIREQFgIBIREQFgIBIR\nEQFgIBIREQFgIBIREQFgIBIREQEA/h/5AVenm8CM8AAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<matplotlib.figure.Figure at 0x11202c0b8>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "plot_density(range(1, 100))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "There is something funny going on with the first few values of `n`. Let's separately look at the first few:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "0.46203174603174607"
      ]
     },
     "execution_count": 11,
     "metadata": {},
     "output_type": "execute_result"
    },
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAcAAAAEtCAYAAACf/7AvAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzt3XlYVPX+B/D3mYUdYkA2UVwRRk1Qy7DFSK9aN03Npcyl\nK6mpVFfvz/LazYo0d71tYiV6KzMtC9PUupqKWZItZnlLETVwQ0Bk2JdZzu8PdGAWltGBM8O8X8/j\ng+fMOWc+g8Wb7znfRdBoNCKIiIhcjEzqAoiIiKTAACQiIpfEACQiIpfEACQiIpfEACQiIpfEACQi\nIpfEACQiIpckeQAePnwY48ePR/fu3aFSqbB58+ZGz/njjz/w4IMPIiwsDD169MDy5ctboFIiImpN\nJA/AsrIy9OjRA0uXLoWXl1ejx5eUlGDUqFEIDQ1FWloalixZgjfffBNr1qxpgWqJiKi1UEhdwODB\ngzF48GAAwKxZsxo9/pNPPkFFRQXWrl0LNzc3REVF4dSpU0hOTkZiYmJzl0tERK2E5C1AW/3444/o\n378/3NzcjPsGDRqEnJwcnDt3TsLKiIjImThdAObl5SE4ONhkX1BQEERRRF5enkRVERGRs3G6ACQi\nIrIHpwvA4OBgi5Zefn4+BEGwaBkSERHVx+kCsF+/fkhPT0d1dbVx3/79+xEWFoaIiAgJKyMiImci\neQCWlZXh+PHj+O2332AwGHDhwgUcP34cFy5cAAAkJSVhxIgRxuPHjBkDLy8vzJo1CydOnMCOHTvw\n+uuvN9oDNH5HHkb/I6lZP8vNyMzMlLqEJmGd9uMMNQKs095Yp+OQPAB/+eUXDBgwAPHx8aisrMSS\nJUtw7733YsmSJQCA3NxcZGdnG4/38/PDtm3bkJOTg4EDB2LevHl4+umnGx1CkZP6Bnw9PZr1sxAR\nkfOQfBzg3XffjcLCwnpfT05OttinVquxa9cum94n7OFnMDDa2+b6iIiodZK8BdiSThZqpS6BiIgc\nhEsF4AmNDqIoSl0GERE5AJcKwMIqA/IrDVKXQUREDsClAhAATvA2KBERwQUD8KRGJ3UJRETkAFww\nANkCJCIiFwzADI0OenaEISJyeS4XgOU6EedL9VKXQUREEnO5AAQ4HpCIiFw1ANkRhojI5blkAJ5g\nRxgiIpfnkgF4pkiHaj07whARuTKXCcAQz9qPqhOBM8W8DUpE5MpcJgCj/ZUm27wNSkTk2lwmANUq\n05WfMgrZAiQicmUuE4BsARIRUV0uE4Dd/BUQ6myfK9WjVMuVIYiIXJXLBKCXQoYOvnKTfac4HpCI\nyGW5TAACgJq3QYmI6BqXCsBof9OOMCfZEYaIyGW5VgCqTFuAXBqJiMh1uVQAdvZTQFnnE+dXGnCl\nkitDEBG5IpcKQKVMQNdbeBuUiIhcLAABy44wvA1KROSaXC4AzQfEMwCJiFyT6wWg2ZRoJzU6iCJX\nhiAicjUuF4DtvOXwVtTOCVOqFXGxjB1hiIhcjcsFoEwQLMYDnuCMMERELsflAhCwMh6wkM8BiYhc\njUMEYEpKCmJiYhAaGor4+Hikp6c3ePy2bdtwzz33oG3btujVqxfefPNNm96PHWGIiEjyAExNTcX8\n+fMxd+5cHDp0CP369cPYsWNx8eJFq8fv3bsX06ZNQ0JCAtLT07Fq1SokJycjJSWlye9pvjbgqSId\ndAZ2hCEiciWSB2BycjImTpyISZMmITIyEsuXL0dISAg2bNhg9fhPPvkEDzzwAKZMmYIOHTpg8ODB\nmDNnDl577bUmv2cbDznaeNR+dK0BOFvM54BERK5E0gDUarU4duwY4uPjTfYPHDgQR44csXpOVVUV\nPDw8TPZ5eHjg0qVLOH/+fJPf22JibHaEISJyKZIGYEFBAfR6PYKDg032BwUFIS8vz+o5gwYNwu7d\nu3HgwAGIoojTp09jzZo1AIDc3Nwmv7eaE2MTEbk0yW+B2urxxx/H9OnTMWHCBAQFBWHIkCEYPXo0\nAEAma/rHiTJfG5A9QYmIXIqg0Wgk6/2h1WoRFhaG9evXY8SIEcb9zz77LE6cOIGdO3fWe64oisjN\nzUWbNm2QlpaGcePG4fTp0wgICLB6fGZmpsl2uR74+6lbjNsCRLwRVQwPp/uVgIjI9URGRt70NRSN\nH9J8lEolYmNjkZaWZhKABw4cwMiRIxs8VxAEhIaGAgC2bt2Kfv361Rt+gPVvVvtLBThfWjMLjAgB\nhjYdEBnodiMf5aZlZmba5R+0ubFO+3GGGgHWaW+s03FIGoAAkJiYiBkzZqB3796Ii4vD+vXrkZub\niylTpgAAkpKScPToUWzfvh0AcPXqVXz++ee4++67UVVVhQ8//BBffPEFdu/ebfN7R/srjAEIACcK\ndYiRKACJiKhlSR6Ao0aNQmFhIVatWoXc3Fyo1Wps3boV4eHhAGo6tmRnZ5ucs2XLFrz00ksQRRG3\n3347du3ahdjYWJvfW+2vxN4LVcbtDHaEISJyGZIHIAAkJCQgISHB6mvJyckm2wEBAdizZ49d3td8\nSrQTDEAiIpfh0l0+uvgpIK9dGAKXyw3QVBmkK4iIiFqMSwegu1xAFz/zAfFsBRIRuQKXDkDAckA8\nxwMSEbkGlw9ATolGROSaGIBWlkYSRa4MQUTU2rl8AEb4yuFZpydMUbWIy+XsCENE1Nq5fADKBQHd\nzG6DcjgEEVHr5/IBCNQMiK+LPUGJiFo/BiCAaLMV4k8WsiMMEVFrxwCEZUeYU0Va6AzsCENE1Jox\nAAGEeMqgcqvtCFOpB87VmSSbiIhaHwYgapZWspgXlAPiiYhaNQbgNdbGAxIRUevFALzGoiMMZ4Qh\nImrVGIDXmLcAzxTrUKVnRxgiotaKAXjNLW4ytPWq/XYYRCCziK1AIqLWigFYh3lHGD4HJCJqvRiA\ndVjMCMOeoERErRYDsI4oizlBeQuUiKi1YgDWEXmLErLa8fC4WKZHcTVXhiAiao0YgHV4KgR08jVt\nBWbwOSARUavEADRjvkI8b4MSEbVODEAzarOeoGwBEhG1TgxAM+YtwD8KdRBFDognImptGIBmOvoq\n4C6v3S6sMiC/kh1hiIhaGwagGYVMQOQtHA9IRNTaMQCtULMjDBFRq8cAtIJLIxERtX4MQCvMl0bK\n0OhgYEcYIqJWxSECMCUlBTExMQgNDUV8fDzS09MbPH7fvn0YMmQI2rdvjy5duuCxxx7DmTNn7FZP\nWy85/JS1U8KU60ScL9Xb7fpERCQ9yQMwNTUV8+fPx9y5c3Ho0CH069cPY8eOxcWLF60en52djQkT\nJuCuu+7CoUOHsH37dlRVVWHcuHF2q0kQBESZ3QY9wY4wREStiuQBmJycjIkTJ2LSpEmIjIzE8uXL\nERISgg0bNlg9/tixY9DpdHjxxRfRsWNH9OzZE7Nnz8aff/6JwsJCu9Wl5grxREStmqQBqNVqcezY\nMcTHx5vsHzhwII4cOWL1nD59+kCpVOKDDz6AwWBASUkJPvroI/Tt2xcqlcputbEjDBFR6yZpABYU\nFECv1yM4ONhkf1BQEPLy8qye0759e6SmpmLx4sUIDg5Ghw4dcPLkSWzZssWutZkH4OkiHar17AhD\nRNRaKBo/xLHk5eXh6aefxvjx4zF69GiUlpZi8eLFePzxx7Fz5856z8vMzLT5vQIUvriqq/kdQScC\nab//iU6ezdcZ5kZqlALrtB9nqBFgnfbGOm9eZGTkTV/DpgAURRG///47MjIyUFBQAEEQEBgYiG7d\nuqFHjx4QBKHxi9QRGBgIuVxu0drLz8+3aBVet27dOnh7e+Pll1827nvnnXfQo0cPHDlyBHfccYfV\n827km3WrpggHc6qM22W+oYjs5GXzdZoiMzPTLv+gzY112o8z1AiwTntjnY6jSQH4zTffYNOmTfjy\nyy9RWlpqMTm0IAjw8fHB/fffjwkTJuDee+9t0psrlUrExsYiLS0NI0aMMO4/cOAARo4cafWciooK\nyOVyk30yWU0rzWCw75yd0f4KkwA8WagDOtn1LYiISCINBuDXX3+NV199FceOHYNarcakSZMQGxuL\njh07wt/fH6IoQqPRIDs7G8eOHTMGV0xMDBYsWIBBgwY1WkBiYiJmzJiB3r17Iy4uDuvXr0dubi6m\nTJkCAEhKSsLRo0exfft2AMCQIUOwdu1aLF++HGPGjEFxcTEWLlyIdu3aITY21g7fklrRKnaEISJq\nrRoMwMmTJ2PSpEl4++23ERUVVe9x18fuAUBGRgbWr1+PyZMn1zuWr65Ro0ahsLAQq1atQm5uLtRq\nNbZu3Yrw8HAAQG5uLrKzs43HDxgwACkpKXj99dfx5ptvwtPTE7fddhs+++wzeHp6NulDN1WUvwIC\ngOvt3XOlepRqDfBRSj56hIiIbpKg0Wjq7dpYUFCAwMDAG7rwzZzrSP52oABZJbUdX1b390efIDe7\nv4+z3G9nnfbjDDUCrNPeWKfjaLApczMB1hrCD+B4QCKi1or38hphvjQSZ4QhImodbB4G8d5772Hj\nxo3IysqCRqOxOEYQBBQUFNitQKlFqTgnKBFRa2RTAL744otYs2YNbr31VowbNw7+/v7NVZfD6OKn\ngFIGaK+NsMivNKCgUo9AD3nDJxIRkUOzKQA3b96Mhx56CO+9914zleN4lDIBXW9R4ERh7a3Pkxod\n7gplABIROTObngFWVlZaTFztCsw7wvA2KBGR87MpAAcMGICjR482Vy0Oy7wjTAY7whAROT2bAnDV\nqlX46aefsHLlynpXa2iNzGeEOaHRWkwHR0REzsWmZ4C9e/eGKIpYvHgxFi9eDKVSaZyH8zpBEHDp\n0iW7Fim1dt5yeCsElOlqQq9UK+JimR7tfJxuMQ0iIrrGpp/go0aNsnnFh9ZAJgiI8lfg6JXaZ38n\nNToGIBGRE7PpJ/jatWubqw6Hp1YpTQLwhEaLv7TzkLAiIiK6GZwJpokspkRjT1AiIqfWYAB+8803\nN3zhmznXEUWb9QTNLNJBZ2BHGCIiZ9VgAD7yyCMYPHgwNm/ejOLi4kYvVlxcjI8++giDBw/Go48+\narciHUGQpxxtPGq/XdUG4M8SDocgInJWDT4D/Pnnn7Fs2TL8/e9/x+zZs9G7d+8GF8T95ZdfAACP\nPfYYPvjggxb5AC0pyl+BK5erjdsnCnWIvEXZwBlEROSoGgzAtm3b4vXXX8eLL76ILVu2YPfu3fjg\ngw9QUVFhcpyXlxf69u2LpKQkjBs3DgEBAc1atFTU/kp8VycAT2q0eAj2XYSXiIhaRpN6gQYGBiIx\nMRGJiYnQ6XS4cOECrl69CgAICAhA+/btIZe3/rkxzQfEsyMMEZHzsnkgm0KhQMeOHdGxY8dmKMex\nRZl1hMkq0aNCJ8JT4XpjI4mInJ1NwyCeeOIJfP311zAYDM1Vj0PzVcrQ3ru2pWsAkFnEViARkTOy\nKQC/+eYbjBs3DtHR0Xj++edx7Nix5qrLYUWrTFuBdZdJIiIi52FTAJ48eRJbtmzBgAED8P7772Pg\nwIGIi4vDa6+9hosXLzZXjQ7FYkC8hi1AIiJnZFMAyuVyDBkyBCkpKTh16hTWrFmDsLAwLFq0CL16\n9cJDDz2Ejz76CKWlpc1Vr+QYgERErcMNT4Xm7e2N8ePHY9u2bfj9998xYsQIHDp0CE899RS6deuG\n6dOnt8pbpF1vUUBep89LTrkBmirXfCZKROTMbmou0KysLCxfvhwPPvggtm3bhjZt2mD69OmYOnUq\nDh48iEGDBuHdd9+1V60OwV0uoIuf6XNAtgKJiJyPzcMgNBoNUlNT8fHHH+PHH3+EUqnE0KFDsXDh\nQgwePBgKRc0lX3jhBUybNg0rV67E9OnT7V64lKL9lThVVNv55aRGh7gQdwkrIiIiW9kUgI899hj2\n7duH6upq9O3bFytWrMDo0aPh7+9vcaybmxuGDRuGHTt22K1YR6FWKbAju3abA+KJiJyPTQH422+/\n4amnnsKjjz6KyMjIRo+/77778MUXX9xwcY4qyqwjzAmNFqIouuRiwUREzsqmAPzf//5n08XbtGmD\nu+++26ZznEEHXzk85AIq9TXLIRVVi7hcYUCYV+ufDo6IqLWwqRNMQEAAPv3003pfT01NbbUTYdcl\nFwSLadF4G5SIyLnYFICiKEIU618E1mAw3NBtwJSUFMTExCA0NBTx8fFIT0+v99ilS5dCpVIhICAA\nKpXK+CcgIAAFBQU2v/eNMh8PeII9QYmInIrNwyAaCriffvrJaoeYhqSmpmL+/PmYO3cuDh06hH79\n+mHs2LH1zizzzDPP4NSpU8jIyMCpU6dw6tQp3HXXXbjnnnsQGBho03vfDLXZlGgZGk6JRkTkTBp9\nBrh27Vq8/fbbxu358+dj4cKFFscVFRWhuLjY5pXgk5OTMXHiREyaNAkAsHz5cuzbtw8bNmzAggUL\nLI738vKCl5eXcfvChQtIT0/HunXrbHrfm2XeAszQaKEziFDI2BGGiMgZNBqAQUFBiI6OBgCcO3cO\nYWFhCAsLMzlGEAR4e3sjNjYWU6dObfKba7VaHDt2DE8//bTJ/oEDB+LIkSNNusbGjRuhUqkwfPjw\nJr+vPYR4yuDvJkBTXXNLuFIPnCvVo7OfzUMriYhIAo3+tB4zZgzGjBkDABg2bBieffZZ3HvvvXZ5\n84KCAuj1egQHB5vsDwoKwsGDBxs932AwYNOmTXj00UehVCobPd6eBEFAtEqJ73NNV4hnABIROQeb\nflrv3Lmzueq4IXv37sWlS5fw+OOPN3psZmam3d8/WO8OwMO4/X3WFURWVd7w9ZqjxubAOu3HGWoE\nWKe9sc6b15Sx6I1pMADPnz8PAGjfvr3JdmOuH9+YwMBAyOVy5OXlmezPz8+3aBVa8/777+OOO+5o\n0jfCHt8sc3f5VWHHlSLjdo7ojcjIpn12c5mZmc1So72xTvtxhhoB1mlvrNNxNBiAvXr1giAIuHz5\nMtzc3Izbjbl69WqT3lypVCI2NhZpaWkYMWKEcf+BAwcwcuTIBs+9fPky9uzZg7feeqtJ79UczGeE\nOVusQ5VehLucHWGIiBxdgwH41ltvQRAE4/O169v2lJiYiBkzZqB3796Ii4vD+vXrkZubiylTpgAA\nkpKScPToUWzfvt3kvI0bN8Lb27vRoGxO/u4ytPWS4VJ5zXJIehE4XaRDj4CWfR5JRES2azAAJ0yY\n0OC2PYwaNQqFhYVYtWoVcnNzoVarsXXrVoSHhwMAcnNzkZ2dbXHehx9+iHHjxsHDw8PitZYU5a/E\npfIq4/YJjZYBSETkBOzSZfHy5csoKipCVFTUDZ2fkJCAhIQEq68lJydb3f/rr7/e0HvZm1qlxIFL\ntQHIKdGIiJyDTTPBvPfee5g1a5bJvmeffRbdu3dH//79MWDAgBadjswRRJvPCcoZYYiInIJNAbh+\n/XqTWVgOHTqElJQUjBkzBi+++CLOnj2LlStX2r1IRxZ5i9Lkm3ihTI+SaoNk9RARUdPYFIDZ2dnG\nWWEAYNu2bQgPD8fbb7+N2bNnY9q0afjyyy/tXqQj81QI6OTHeUGJiJyNTQGo1+tNZlw5cOAA/vKX\nv0Amq7lM586dcfnyZftW6ATMb4NyZQgiIsdnUwB26NDBOEXZL7/8gqysLAwcOND4el5eHnx9fe1b\noRMwnxj7JAOQiMjh2dQLNCEhAc8++yxOnjyJS5cuITw8HEOGDDG+/v3335vcInUV0WZLI50o1EEU\nRbuPmSQiIvuxKQCnTp0KNzc37NmzB7GxsZg9e7ZxHF5hYSHy8/PrHc7QmnXyVcBdDlTpa7avVhmQ\nX2lAsKdc2sKIiKheNo8DnDx5MiZPnmyxX6VSIS0tzR41OR2FTECknxL/qzMG8GShlgFIROTAbF4R\nnqwzvw3K8YBERI7N5hbgvn37sHHjRmRlZUGj0UAURZPXBUHAsWPH7Fags1D7KwFUGLfZEYaIyLHZ\nFIBvvPEGXn75ZQQHB6NPnz7o3r17c9XldKL8LccCGkQRMnaEISJySDYF4Ntvv40BAwZg69atLb4C\nu6ML95bDVymgRFvTIi7TiThfqkcHX64QT0TkiGx6BqjRaDBixAiGnxWCIHA8IBGRE7EpAPv27YvM\nzMzmqsXpWRsPSEREjsmmAFy5ciV27tyJTz75pLnqcWpqsxZgBluAREQOy6YHVJMnT0Z1dTVmzJiB\nOXPmICwsDHK56Vg3QRDw/fff27VIZ2HeEeZ0sQ7VehFucnaEISJyNDYFYJs2bRAUFISuXbs2Vz1O\nLdBDjmBPGfIqapZD0hqAs8U6RKv4zJSIyNHYFIC7du1qrjpajWh/JfIq6qwQr9EyAImIHBBngrEz\ntcXSSOwIQ0TkiGwOwKtXr2LRokUYOnQo+vTpgx9++MG4f9myZcjIyLB7kc7EvLV3spAdYYiIHJHN\nK8LffffdeOutt6DVapGVlYWKiprpvwICApCamoqUlJRmKdRZdLtFgbpdXs6V6lGmNUhWDxERWWdT\nAL700ksQRRHff/89tm7dajEP6F//+lfjgrmuylspQwff2p6xIoBTRbwNSkTkaGwKwLS0NEybNg0d\nO3a0uthrhw4dcOnSJbsV56yizMYDnuBtUCIih2NTAFZVVcHf37/e14uKiiCTsV+NeUcYLo1EROR4\nbEortVqN7777rt7Xd+3ahV69et10Uc7OoiMMZ4QhInI4NgXgzJkzsW3bNqxcuRKFhYUAAIPBgFOn\nTmHq1Kn46aefkJiY2CyFOpMufgoo63xn8yoMKKjUS1cQERFZsGkg/NixY3HhwgUsXrwYixcvBgCM\nHj0aACCTyZCUlIQHHnjA/lU6GaVMQFc/hckYwAyNDneGyhs4i4iIWpLNi9XNmTMHY8aMwRdffIGz\nZ8/CYDCgU6dOGD58ODp27NgMJTqnaJXSJABPaLS4M9RdwoqIiKiuG1qttX379pg1a5a9a2lVos07\nwnBpJCIih9LgM0CVSoWAgACb/9gqJSUFMTExCA0NRXx8PNLT0xs9Jzk5Gf369UNISAjUajVeeeUV\nm9+3OVlbHNd83CQREUmnwRbgc889ZzHeb+fOncjIyMDAgQONq0KcPn0a+/fvR3R0NB588EGbCkhN\nTcX8+fOxevVqxMXFYd26dRg7diyOHDmC8PBwq+c8//zz2Lt3LxYuXAi1Wo3i4mLk5uba9L7Nrb2P\nHN4KAWW6mtAr0Yq4WKZHO58banQTEZGdNfjTeP78+Sbb7733Hq5evYojR46gc+fOJq+dPn0aw4cP\nR1hYmE0FJCcnY+LEiZg0aRIAYPny5di3bx82bNiABQsWWByfmZmJdevWIT093WRZpltvvdWm921u\nMkFAlL8CR6/UDoE4qdExAImIHIRNwyDeeOMNTJ061SL8AKBr166YOnUqXn/99SZfT6vV4tixY4iP\njzfZP3DgQBw5csTqOV9++SU6deqEPXv2IDY2Fr169cLMmTNx5coVWz5Ki7B2G5SIiByDTQF46dIl\nKBT1t2DkcrlNU6EVFBRAr9cjODjYZH9QUBDy8vKsnpOVlYVz585h27ZtePvtt/Huu+8iMzMT48eP\nb/L7thS1xcoQ7AhDROQobLofp1arkZKSgjFjxqBt27Ymr128eBHr169H9+7d7VqgOYPBgOrqarz7\n7rvo1KkTAOCdd97BbbfdhqNHj6JPnz5Wz8vMzGzWuqxx1woA/IzbGZpqnDiVCYXlNKoApKnxRrBO\n+3GGGgHWaW+s8+ZFRkbe9DVsCsDFixdj9OjR6Nu3Lx544AHjrdCzZ8/iq6++giiKePfdd5t8vcDA\nQMjlcovWXn5+vkWr8LqQkBAoFApj+AFAly5dIJfLcf78+XoD0B7frBsReP4KCqpqlkPSigIUIR0R\neYvlCvGZmZmS1WgL1mk/zlAjwDrtjXU6DpsCsH///vj666/x6quv4quvvjKuBejp6YmBAwdi/vz5\n6NGjR5Ovp1QqERsbi7S0NIwYMcK4/8CBAxg5cqTVc+Li4qDT6ZCVlWUceP/nn39Cr9cjIiLClo/T\nIqJVCnx3udq4fbJQZzUAiYioZdncJbF79+7YtGkTDAaDseNJmzZtbngViMTERMyYMQO9e/dGXFwc\n1q9fj9zcXEyZMgUAkJSUhKNHj2L79u0AgPj4eMTExOCpp57C4sWLIYoinn/+efTr1w+9e/e+oRqa\nk9pfaRKAJzRaDIenhBURERFwgzPBADVzf9Z3m9IWo0aNQmFhIVatWoXc3Fyo1Wps3brVOAYwNzcX\n2dnZxuMFQcDHH3+MefPmYdiwYfDw8MB9992HV1999aZraQ7mPUEzuDQSEZFDcIhBaQkJCUhISLD6\nWnJyssW+4OBg/Oc//2nusuwiymxKtD+LdajQifCsrycMERG1CK5e28x83WRo7127CoQBQGYRxwMS\nEUmNAdgCzFuBXCGeiEh6DMAWYD4g/kQhW4BERFJjALYATolGROR4GIAtoOstCsjr9HnJKTdAc21w\nPBERSYMB2ALc5QK6+Jk+B8xgK5CISFIMwBZifhv0BDvCEBFJigHYQqJV5j1B2QIkIpISA7CFWHSE\nKdRCFEWJqiEiIoeYCcYVdPCVw0MuoFJfE3qaahGXKwwI85I3cqb0nl20EucKy6AXgYqKCvh41cxl\nGqHyxooX5kpcHRHRjWEAthC5ICDKX4FfC2pvfWZotE4RgJlXSqEZOMu4XXb9LwfXSlIPEZE98BZo\nC7LoCOPgK8TnVeix8tfiejvsXCzTo5DDOYjISbEF2ILUTtIRpqjagM2Z5Uj9sxzVDeRbfqUB478u\nwLgunhjXxQs+Sv4+RUTOgwHYgqKsLI2kF0XIBcdYGaJcZ8BnZyuw5XQ5ynRN66BTqRfxwalyfJ5V\ngQldvTGykyfc5Y7xeYiIGsIAbEGhnjL4uwnQVNeES6VeRHaJHp39pP1n0BpEfJFdgY2nym/4lmZx\ntYi1f5Ti07Pl+FuUN4a294BCxiAkIsfFAGxBgiAgWqXE97m1K8Sf1GglC0C9KGLfhSr8J6MUOeXW\ng6+NhwwhoT4QD66FgJpeoO6eniioNMDDw93i+PxKA1b8WoItZ8rxRLQ37g1zh+AgLVwioroYgC0s\n2t8sAAv3gMJ2AAAdRklEQVR1+GtEy9YgiiLSc6ux7kQp/izRWz3GVylgQqQXRnXygvuQfxr3Z2Zm\nIjIyEkDNLdOtZyrw8ZlylJvdMj1fqsfLPxUjyl+BaWof3Bbk1nwfiIjoBjAAW5jaYm3Alu0I82tB\nNdb9UYb/1bMkk4ccGNPZC4909YJvI51avBQyPB7ljREdPfFRZhm2ZVVAa9aQzNDoMDddgz5tlJim\n9rFYGoqISCoMwBZm3hHmTLEOVfrmnxEms0iLlBNlOJJXbfV1hQAM6+CJSd28EOhh29hEf3cZZvX0\nxejOXnj/VBm+OlcJ8xuqR69oMfNQIQaEueOJaG908OV/ekQkLf4UamH+7jKEecmMz9z0InC6SIfm\nukF4oVSHDRll2H+xyurrAoC/tHPHlCgftPW+uUH5IV5yPBfrh0e6eGH9yTJ8k2P5nt/kVOHbnCoM\nbe+Bv0V5I8QJJgIgotaJASiBaH8lcsprw+GkRotedn6PK5V6fJBRjl3nKlBfA/POEDdMVfvYvRNO\nB18FXrn9Fpws1GLdiVL8fMX0dqsBwJfnK/H1xUqM6OiJiZHe8HfnGEIialkMQAmoVUocuFQbgCcK\ntejlZ59rl1Qb8NHpmkHsVdb7t6BXgBLT1N64NbB5O6ZEq5RYdacKP+XXdLjJMJtRRmsAPj1bgV3Z\nlXikqxfGdfGEl4JBSEQtgwEogWh/88VxdcBNBmClTsRnf5Zj8+lylGqtN/m6+CkwXe2NfsFuLTo0\n4bYgN/Rto8KhnCqknCzDuVLTZK7Qi3gvowzb/izHxEhvPNSRg+mJqPkxACUQeYsSMsDYUeR8mR5l\n9bTWGqMziNiVXYH3T5Xjaj2D2Nt6yfFEtDfuC3eHTKIxeYIgYEBbD9wZ6o49FyrxXkYZ8ipM6y2q\nFrHm99rB9IPbcTA9ETUfBqAEPBUCOvkpcKa49pZgdoUCsTZcwyCK2H+xChtOluFSufX0DHCvGabw\nYITjBIlCJuCvEZ4YFO6BHVkV2JhZhuJq0xZrboUBy46VYMvpckxV++Du0JZtsRKRa2AASiTK3zQA\n/6xsWm9IURRxJK8a606UmZxfl49SwGNdvfBwJy94KBwzONzlAsZ28cJfIzzwyZlyfHKmAhVmvXWy\nS/VY8GMR1NcG0/fhYHoisiMGoETU/krsPldp3M6qaDwAfyuoCb7jV60PYneXA6M7eWF8Vy/4ujlH\nZxJvpQxTon0wspMXPswsww4rg+lPaHT4R7oGtwXVDKY3H0tJRHQjGIASiTZbGqmhFuCZIh1STpYi\nPdf6IHb5tUHsk29gELujULnL8HRPX4zt7IX3Msqw57zlYPqf8rX4Kb8Q8W3dkRDtjQgf/udLRDfO\nIZoJKSkpiImJQWhoKOLj45Genl7vsefOnYNKpTL5ExAQgP3797dgxTevk68CdRtpRToZ8itMn+Vd\nKtNj0c9FmHrwar3hNyjcHe/fF4A5vXydNvzqCvWS45+9/bA+PgB3h1q/5Zl2qQp/O3AVK44VI6/i\nBnsPEZHLk/xX6NTUVMyfPx+rV69GXFwc1q1bh7Fjx+LIkSMIDw+3eo4gCEhNTUWPHj2M+1QqVUuV\nbBcKmYButyhN5uQ8qdEhyFOOgko9Np4qxxfZ9Q9ijwt2wxNqb0Te0jpvB3byU2BRP3/8frVmMP2x\nArPB9CKw61wl9lyoxKhOnpgQ6Y1bnOS2LxE5BskDMDk5GRMnTsSkSZMAAMuXL8e+ffuwYcMGLFiw\nwOo5oijC398fQUFBLVmq3UWrFCYB+FN+NTI0Wnx6thyV9TRsegYoMV3tjV7NPIjdUfQIUOLfd/pf\nG0xfhlNFloPpPzlTO5h+TGcOpieippE0ALVaLY4dO4ann37aZP/AgQNx5MiRBs+dNGkSKisr0aVL\nF8ycORMjRoxozlKbxeFNa5CTU2rcfvvaV5nSHSHDnzQ5trOvHFPVPugf4npDAgRBwO3B7ugb5IZv\ncqqw/kQZzpsNnCzTiViyYjWW6aoQ4iWHl1gFb09PAECEyhsrXpgrRelE5MAkDcCCggLo9XoEBweb\n7A8KCsLBgwetnuPj44NFixYhLi4Ocrkcu3fvRkJCAt5++22MHTu2Jcq2m/KKSoQ9/IzF/pzUN4x/\nD/OSISHaBwPD3SF3seAzJxMExLf1wN2h7vjqfM1g+iuVtV1lDNoqhDz8DAwASq/9AYCMHW9izuFC\n+Chk8HUT4KMQ4KOUwUdZ96sA3zr7PORwuV80iFyN5LdAbRUQEIDExETjdmxsLAoLC/H66687XQA2\nNN2Xyl2Gyd28MKyDJ5QOMojdUShkAoZ18MTgdh74/M8KbMosQ3E9078BQIVOxC9XbFt3USHAJCB9\n6wSleXj6WjmO/2ZEjk/SAAwMDIRcLkdeXp7J/vz8fItWYUP69OmDTZs2NXhMZmbmDdXYnCoqKqzu\nb6M0YGHHQrjrCpF1poWLagJH+l72ARDdCdhT4I4NdryuTgQ01SI01TfWy9RNEOEpF+ElE+FV5+uP\nn6agoqoacgAyAVAIIpQCEO6jwPwnJ9vxE9iXI/2bN4R12pcj1xkZGXnT15A0AJVKJWJjY5GWlmby\nDO/AgQMYOXJkk6/z22+/ISQkpMFj7PHNsjdPT08UW9nfzs8dPaMcr16g5n8IR/xexgBI/1SJq1IX\nck21KKBaJ6DIbH9OqQ5hD882bhsAVAH4LvUN/D3TH8GeMgR5yBHsKUOwZ83XoOtfPeTwlGBmH0f9\nNzfHOu3LWeq8GZLfAk1MTMSMGTPQu3dvxMXFYf369cjNzcWUKVMAAElJSTh69Ci2b98OANi8eTOU\nSiV69eoFmUyGL7/8Ehs2bEBSUpKUH4McgLKezp/dblHgpf7+KNUaUKoVUao1oEQrGv9eqhVRYnyt\n5u/ms9G0hHKdiKwSPbJK6m91+ioFBHvKEeQpQ7AxKE1D0o0raRA1ieQBOGrUKBQWFmLVqlXIzc2F\nWq3G1q1bjWMAc3NzkZ2dbXLOypUrceHCBchkMnTt2hVr1qzBmDFjpCj/pkSovIGDawHU3A71rNNr\nkWxX7/czyAe32TiPaJVerBOYovXw1BlQUn3tNZ1oEqSG+h9J3pQSrYgSrQ5nrN06uEblJhgDMdhT\njiAPWW1oesrRxkPmMJOjE0lJ0Gg0zfS/KtnCWW43sM7GiaKICr1oEZ4lWgOWLV0Kw9BEi3Mup76B\nUCs9gpuDDECAh8ysFVkbkMGeMixduRrnC8sBWP5y5qhDSvjfpn05S503Q/IWIFFrIwgCvBQCvBRA\nsKfpaxs8ZMi1ck5MoBLvDG2DvAo98ioMyKvUI7/CULtdoceVSkO9MwPZwgDgSqUBVyoNOAHrK4pc\nPl1kEsjXG5y5X63BF1kVJj1i6/aCZcuSnAkDkKgFNXTb299dBn93Gbr5Wz9XL4oorDIYA9EkIK8F\n5tVKg8Uk4jeivpzNKddj1W8l9Z7nIUeTholcH4tZMy6zZp+XUnD5sa7UshiARC2o7u1DW28xyQUB\nbTzkaOMhR3eV9TlgdQYRBZXXgrHSgPw6Lci8iprtwurme+pRqQcq9QZcqQQA24aQCAC8FEK94Vnb\n2qzdt/b115BbUgG5AFRVVsDLCW7VkuNgABK1IgqZgBAvOUK86l8ZpEov4kplbSDWBKTpbdecFqz5\nOhE1U9qV6UTkVjStHZtzrthkNqXrbdOT299E6TdX4am4fjtaBi+FAE+FAO9r+2pfq33dq85rvJ3b\n+jEAiVyMu1xAuLcC4Q10Nh67V4l8K/uDPGX4a4SH1Z6xZVrRLrdf7aFSL+KExvrzzaZyk8FqQJoG\nZ9NeW7B0Jc45WaciV8AAJCILHQO8IbP2rDLcD8/F+lk9xyCKqDAbDmI6dKR2uIi1ISZlOsfqkF5t\nAKqrRWiqReAmoz3ndJFJS/V6p6IzX7yJF37QwEMuwF0uWPla8wuLh6J2v+kxMG6zxWo7BiARWbiR\nZ5UyQYC3UoC3EgiB7Ysz6wwiynVWQlNrHqrXgrRaRKGTD/ov0Yr49rL1xa5tpRBgGZ4Ka6FqGpx1\nv76f/DoKSisgCIC2qgqeHu4QBKD9Ld5Y9Pz/wU0mwE2OVtNZiQFIRA5BIRPg5ybAzw1AEwP0kc8V\nVoeVRPsrsPhuFcp1BpTraoK14trXsjp/v/56xbX9dY9zrPZo43QioNPdXEs651KJSUv1ejSfSH0D\nx7+6YtwvF2AMw5qvAtxlgJtcsNhvsm3xGq6da7rd0Dn/WrIS5wvL8fGql274c17HACQip1XvsJI2\nPugRYL2nbFOIoohKPUwCtNwkOE0DtLHXWhu9CFToRVTogfoHzTQP89vJN4MBSERO62aGlTREEAR4\nKgBPhRyBdrjeuANK5FnZ39lPgfm3+aFSX9M7t1IvWvmKevaLtefpHKcDkjNhABIRNbMOKm8I1lqq\nwT4Y0Nbjpq8viiJ0Yp2g1NUGZ6PhWWf/Tjfrz/aUMsBPKaDaUHPd1tKmZQASETWz5mqpXicIApQC\noJQJ8L3xO7/43df6M9UeKiU+fiAIQE3Y6kUYw7BaL6LaIKJaX7Ov5u9iTS9a89eu77/296qmnGN2\nvj0xAImICEDTVqgRBAEKoabTkpcECfLIAaXVkL4RDEAiIgLQ/C1VezCG9EPsBUpERC7EnjPn1LOG\nNhERUevGACQiIpfEACQiIpfEACQiIpfEACQiIpfEACQiIpfEACQiIpfEACQiIpfEACQiIpfEACQi\nIpfEACQiIpfEACQiIpfEACQiIpfEACQiIpfkEAGYkpKCmJgYhIaGIj4+Hunp6U0678yZM2jXrh3a\nt2/fzBUSEVFrI3kApqamYv78+Zg7dy4OHTqEfv36YezYsbh48WKD52m1WjzxxBO46667WqhSIiJq\nTSQPwOTkZEycOBGTJk1CZGQkli9fjpCQEGzYsKHB81588UX07NkTI0aMaKFKiYioNZE0ALVaLY4d\nO4b4+HiT/QMHDsSRI0fqPe+///0v9u7di+XLlzdzhURE1FpJGoAFBQXQ6/UIDg422R8UFIS8vDyr\n5+Tk5GD27NlYt24dvLy8WqJMIiJqhSS/BWqrJ598Ek888QR69+4NABBFUeKK7CMyMlLqEpqEddqP\nM9QIsE57Y52OQ9IADAwMhFwut2jt5efnW7QKrzt06BCWLVuGNm3aoE2bNnjmmWdQWlqKoKAgfPDB\nBy1RNhERtQIKKd9cqVQiNjYWaWlpJp1ZDhw4gJEjR1o9x3yIxK5du7B69Wrs378foaGhzVovERG1\nHpIGIAAkJiZixowZ6N27N+Li4rB+/Xrk5uZiypQpAICkpCQcPXoU27dvBwBER0ebnH/06FHIZDJE\nRUW1eO1EROS8JA/AUaNGobCwEKtWrUJubi7UajW2bt2K8PBwAEBubi6ys7MlrpKIiFobQaPRtI5e\nJERERDZwul6gTXX48GGMHz8e3bt3h0qlwubNm6UuycLq1asxcOBAREREoGvXrnj00Udx4sQJqcuy\nkJKSgrvuugsRERGIiIjAkCFDsGfPHqnLatDq1auhUqnw3HPPSV2KiaVLl0KlUpn8Mb+t7yhyc3Mx\nc+ZMdO3aFaGhoejfvz8OHz4sdVkmevXqZfH9VKlUeOSRR6QuzchgMGDRokXG6R5jYmKwaNEiGAwG\nqUuzUFpain/+85+49dZbERYWhvvvvx+//PKLpDU15Wf5kiVLoFarERYWhmHDhuHkyZNNunarDcCy\nsjL06NEDS5cuddjxgocPH8a0adOwZ88efPHFF1AoFBg5ciQ0Go3UpZkIDw/HK6+8gm+++QZpaWkY\nMGAAJkyYgD/++EPq0qz68ccf8f7776Nnz55Sl2JVt27dkJmZiVOnTuHUqVMOFyoAUFRUhKFDh0IQ\nBHz66af44YcfsGzZMgQFBUldmom0tDTj9/HUqVM4ePAgBEHAww8/LHVpRv/+97+xYcMGrFixAj/+\n+COWLVuG9evXY/Xq1VKXZuHpp59GWloa3nnnHaSnpyM+Ph4jRozA5cuXJaupsZ/lr732GtauXYsV\nK1bgwIEDCAoKwqhRo1BWVtbotV3iFmi7du2wYsUKjB8/XupSGlRWVoaIiAh89NFHGDp0qNTlNKhT\np054+eWX8fjjj0tdiomioiLEx8fjzTffxNKlS9G9e3eHmjFo6dKl2LFjh0OGXl2vvPIK0tPT8eWX\nX0pdik1WrlyJt956CxkZGXB3d5e6HADAI488gsDAQCQnJxv3zZw5E4WFhdiyZYuElZmqrKxEu3bt\n8OGHH+L+++837o+Pj8fgwYPxr3/9S8Lqalj7WR4dHY0nn3wSc+bMAVDzOSIjI7Fo0aJGfz612hag\nMyopKYHBYIC/v7/UpdTLYDDgs88+Q3l5Ofr16yd1ORZmz56NUaNG4e6775a6lHplZ2dDrVYjJiYG\nTzzxBLKysqQuycLu3bvRt29fJCQkIDIyEvfccw/WrVsndVmN+vDDD/HII484TPgBQP/+/XHo0CFk\nZmYCAE6ePIlDhw453C+5Op0Oer3e4nvn6emJ77//XqKqGpaVlYXc3Fzcd999xn0eHh648847G5xO\n8zrJe4FSrX/+85+IiYlxyGD5448/MGTIEFRWVsLHxwcffvgh1Gq11GWZeP/995GVlYX169dLXUq9\nbr/9diQnJyMyMhL5+flYsWIFhg4diiNHjjjULz7Xv4+zZs3CnDlzcPz4cTz33HMQBAFTp06Vujyr\n9u/fj3PnzjncXYnZs2ejtLQUd9xxB+RyOfR6Pf7v//7PONTLUfj4+KBfv35YsWIFoqOjERISgq1b\nt+KHH35Aly5dpC7Pqry8PAiCYHFrPigoqEm3bRmADuL555/HDz/8gK+++gqCIEhdjoVu3brh22+/\nRVFREXbs2IEZM2Zg165dDtOB4/Tp01i4cCH++9//QiZz3BsbgwYNMtm+/fbbERMTg48++gizZs2S\nqCpLBoMBffv2xYIFCwAAt956K86cOYOUlBSHDcD3338fffr0Qffu3aUuxcRnn32GLVu2YMOGDYiK\nisLx48cxb948dOjQARMnTpS6PBPvvPMOnnrqKXTv3h0KhQIxMTEYM2YMfv31V6lLaxaO+5PChcyf\nPx/btm3DF198gYiICKnLsUqhUKBjx46IiYnBggULcOutt5o805DaDz/8gKtXr+KOO+4wTpP33Xff\nISUlBUFBQdBqtVKXaJWXlxeio6Nx9uxZqUsxERISgm7dupns69atGy5cuCBRRQ27cuUKvvzyS4dr\n/QHASy+9hGeeeQYjR46EWq3GuHHjkJiYiH//+99Sl2ahY8eO2LlzJy5duoTff/8dX3/9NbRaLTp0\n6CB1aVYFBwdDFEXk5+eb7G9oOs26GIASmzdvnjH8HPU2gzUGgwFVVVVSl2E0bNgwHD58GN9++63x\nT+/evTFmzBh8++23UCqVUpdoVWVlJTIzMxESEiJ1KSbi4uKMz6yuy8zMRPv27SWqqGGbNm2Ch4cH\nRo8eLXUpFsrLyy3uSshkMoccBnGdp6cngoODodFosG/fPjz44INSl2RVx44dERISggMHDhj3VVZW\nIj09HXFxcY2e32pvgZaVleHs2bMQRREGgwEXLlzA8ePHoVKp0K5dO6nLAwDMnTsXn3zyCTZt2gQ/\nPz/jpODe3t7w9vaWuLpaSUlJGDJkCMLDw1FaWoqtW7fiu+++w9atW6UuzcjPzw9+fn4m+7y8vODv\n7+9Q0+QtWLAA999/P9q1a2d8BlheXu5wPZRnzZqFoUOHYtWqVXj44Yfx66+/4t1338XLL78sdWlW\nbdy4EaNHj3bIIU/3338/XnvtNURERCA6Ohq//vorkpOT8dhjj0ldmoX9+/fDYDAgMjISZ8+exYsv\nvojo6GhMmDBBspoa+1k+c+ZMrF69Gl27dkWXLl2wcuVK+Pj4NOmXoVY7DOLbb7/F8OHDLZ6njR8/\nHmvWrJGoKlMqlcrq87558+Zh3rx5ElRk3axZs/Dtt98iLy8Pfn5+6NGjB/7+979bLGTsaIYPHw61\nWu1QwyCeeOIJpKeno6CgAG3atMFtt92Gf/3rXxa3Gx3B3r17kZSUhDNnzqBdu3aYPn06pk2bJnVZ\nFg4dOoQRI0Zg//79iI2NlbocC2VlZXj11Vexc+dOXLlyBSEhIRg9ejSee+45uLm5SV2eic8//xxJ\nSUnIycmBSqXCQw89hBdeeAG+vr6S1dSUn+XLli3De++9B41Gg759+2LlypVN6p/QagOQiIioIXwG\nSERELokBSERELokBSERELokBSERELokBSERELokBSERELokBSERELokBSCShmTNnIjQ0VOoyiFwS\nA5BIQoIgOOTqH0SugAFIREQuiQFIREQuiQFIdBOWLFkClUqF06dPY+bMmejQoQMiIiKQmJiIysrK\nJl8nJycHjz32GNq1a4euXbtiwYIFEEXTaXorKiqwYMEC9OzZEyEhIejbty9ee+01k+POnTsHlUqF\nzZs3W7yHSqXCsmXLjNtlZWV44YUXEBMTg5CQEHTt2hXDhg1Denq6yXlHjx7F2LFjERERgbCwMDzw\nwAM4dOiQyTFNvRaRI2m1yyERtYTrz+8SEhLQqVMnvPzyy/j111/xwQcfIDg4GC+99FKj19Dr9Rg9\nejRuu+02LFq0CGlpaVizZg06d+6MKVOmGI977LHHcPDgQUyaNAkxMTE4ePAgkpKScP78eaxatcrm\n2ufMmYMdO3Zg2rRpiIqKgkajwc8//4z//e9/6N+/P4CamfjHjBmDXr16Yd68eVAqlfj444/x8MMP\n4/PPP8ddd93V5GsRORoGIJEdxMbG4o033jBuFxQUYOPGjU0KQJ1Oh4cffhhz584FAPztb3/Dvffe\ni40bNxoDcPfu3UhLS8Pzzz+PZ599FkBN6CYmJuI///kPpk2b1qTlX+ras2cPJk+ejIULF9Z7zD/+\n8Q/ceeedSE1NNe5LSEjAPffcg4ULF+Krr75q8rWIHA1vgRLdJEEQMHnyZJN9/fv3x9WrV1FaWtqk\na1g7Pysry7i9d+9eyOVyPPnkkybHPfXUUxBFEXv27LG5bj8/P/z888/Iycmx+vrx48eRmZmJ0aNH\n4+rVq8Y/RUVFiI+Px08//WS8zdvYtYgcEVuARHbQrl07k21/f38AgEajgY+PT4PnKpVKBAcHW5yv\n0WiM2+fPn0dwcLDFqveRkZGQyWQ4d+6czTUvXLgQs2bNQs+ePdGrVy8MGjQIjz76KLp27QoAOHPm\nDICakLVGEARcvXoVbdu2bfRaRI6IAUhkB3K53Op+844s1shk9rsRU9+YQoPBYLFvxIgRuPPOO7F7\n927s378f7777Lt544w2sXbsWo0ePNp7zyiuvoFevXlav26ZNmyZdi8gRMQCJnED79u2RlpaGkpIS\n+Pr6GvdnZmbCYDAgIiICQG3Ls6ioyOT8+lqIQUFBePzxx/H444+juLgYf/nLX7BkyRKMHj0anTp1\nAgB4e3vj3nvvbbTGhq5F5Ij4DJDICQwdOhR6vR7vvPOOyf41a9ZAEAQMGTIEAODr64vAwEAcPnzY\n5LiUlBST1qHBYEBxcbHJMX5+fujQoYMxPGNjY9G5c2esWbPG6rPMgoKCJl+LyBGxBUjkBO6//37c\nd999WLJkCc6dO2ccBrFz504kJCSY9ACdPHky/v3vf+OZZ55B7969cfjwYZw5c8bkdmxJSQm6d++O\n4cOHo2fPnvDz80N6ejr27duH6dOnA6i5nfrmm29i7NixiIuLw4QJExAeHo6cnBx89913AIAdO3Y0\n6VpEjogBSCSx+p7bme/ftGkTlixZgtTUVHz88cdo164dXnrpJTzzzDMmxz333HMoKCjA9u3b8fnn\nn2PIkCH49NNP0bVrV+M1vby8MG3aNBw4cABfffUVdDodIiIisGjRIsyYMcN4rTvvvBN79+7FihUr\nsGHDBpSUlCA4OBh9+vQx9lxt6rWIHI2g0Wgaf0pPRETUyvAZIBERuSQGIBERuSQGIBERuSQGIBER\nuSQGIBERuSQGIBERuSQGIBERuSQGIBERuSQGIBERuSQGIBERuaT/BzIeycDmZPJkAAAAAElFTkSu\nQmCC\n",
      "text/plain": [
       "<matplotlib.figure.Figure at 0x1120519e8>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "plot_density(range(1, 11))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "And at a wider range:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "0.43240754751464183"
      ]
     },
     "execution_count": 12,
     "metadata": {},
     "output_type": "execute_result"
    },
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAeMAAAEtCAYAAAA7lQj8AAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzs3XtcVHX+P/DXzAByERO5Bw5IIiAqQwpLWma4ZbaVkmJa\nXlIkSbaiXV2XNgTSrRGENk3KC/66fBc3LUyNJfMuKBItYXdCFDQvAyKgotxm5vcHcmQYboPAAXk9\nHw8eD89nzjnznoP6ms/nfM45koqKCi2IiIhINFKxCyAiIurvGMZEREQiYxgTERGJjGFMREQkMoYx\nERGRyBjGREREImMYExERiaxXhPGWLVvg4+MDBwcHTJo0CVlZWR3arrCwEM7Ozhg6dKhO+7FjxzBl\nyhS4ubnB0dER/v7+WL9+vc46KSkpsLKywpAhQ2BlZSX8uba2VlhHqVQKrzX+eHp63vkHJiIiasJI\n7AJSU1MRGRmJxMREBAQEYPPmzQgODkZ2djacnJxa3a6urg4hISGYMGECjh8/rvOahYUFwsLCMHLk\nSJiZmSE7OxsRERGwsLDAokWLdNbLy8uDVnv7vicmJiY6+xoxYgTS0tKEdWQyWVd8bCIiIoHoYZyU\nlIS5c+di3rx5AIC4uDgcOHAAW7duRVRUVKvbrVy5EqNGjcL48eP1wlihUEChUAjLcrkcu3fvRlZW\nlk4YSyQS2NjYtFmfTCZrdx0iIqI7IeowdV1dHfLy8jBp0iSd9sDAQGRnZ7e63d69e7Fv3z7ExcV1\n6H1OnjyJnJwcPPjggzrtN2/exOjRo+Ht7Y1nn30W33//vd62xcXF8PLygo+PD0JCQlBUVNSh9yQi\nIuooUcO4rKwMarUadnZ2Ou22trYoKSlpcZuLFy8iIiICmzdvhrm5eZv79/b2hr29PSZPnoyQkBAs\nWLBAeM3d3R3vvfcetm3bhuTkZJiamuLxxx/HmTNnhHX8/PyQlJSEzz//HOvWrYNKpcKUKVNQUVFx\nB5+aiIhIl+jD1IZasmQJQkJC4OvrCwA653ubS09PR1VVFXJychAdHQ0XFxfMmjULQEPQ+vn5Cev6\n+/vjoYcewsaNG6FUKgEAkydP1tmfn58ffHx8kJKSgqVLl3b1RyMion5K1DC2traGTCbT6wWXlpbq\n9ZYbZWRkICsrSwhMrVYLjUYDW1tbJCQkYP78+cK6crkcAODl5YWSkhIolUohjJuTSqVQKBQ4ffp0\nq/Wam5vD09OzzXWIiIgMJWoYGxsbQ6FQ4PDhw5g2bZrQfujQIUyfPr3FbZpf9pSWlobExEQcPHgQ\nDg4Orb6XWq3WuWypJT/++CPGjBnT6uvV1dUoKCjAxIkT29wPERGRIUS/zjg8PBwpKSn4+OOP8dtv\nv2HFihVQqVRYuHAhACA2NlYnqD09PXV+HB0dIZVK4eHhgXvuuQcAsGnTJuzduxenT5/G6dOn8fHH\nH2PDhg149tlnhf2sWbMGBw8eRFFREX744QeEh4fjl19+QUhIiLBOVFQUjh07huLiYnz77bdYsGAB\nbty4gTlz5vTQ0ek5BQUFYpfQaaxdHKxdHKz97iT6OeOgoCCUl5cjISEBKpUKXl5e2LFjh3CNsUql\nQnFxsUH7VKvViImJwblz5yCTyTBs2DDExsYKAQ8AlZWViIiIQElJCQYNGoQxY8YgPT1d55KoCxcu\nIDQ0FGVlZbCxscG4ceOwf/9+ODs7d82HJyIiAiCpqKhofQYU9RsFBQVwd3cXu4xOYe3iYO3iYO13\nJ9GHqYmIiPo7hjEREZHIGMZEREQiYxgTERGJjGFMREQkMtEvbeoPlq9ei7PlVXrtcisLxL+xTISK\niIioN2EY94Cz5VVQPfyS/gtH3u/5YoiIqNfhMDUREZHIGMZEREQiYxgTERGJjGFMREQkMk7g6gFy\nKwtU7kvCmWv1QtsgEwnk8ntErIqIiHoLhnEPiH9jGU6W1eLVYxVC2ygrY8Q/ZCViVURE1FtwmLqH\nWBrrHuprdRqRKiEiot6GYdxDBplIdJav1vHJlURE1IBh3EP0esa1Gmi1DGQiImIY95gBMgkGyG4v\n12uBm2qGMRERMYx7lH7vmGFMREQM4x5laax73piTuIiICGAY96hBJs1nVLNnTEREDOMe1bxnfLWW\nPWMiImIY9yj9a43ZMyYiIoZxj7Jsdq3xNfaMiYgIvSSMt2zZAh8fHzg4OGDSpEnIysrq0HaFhYVw\ndnbG0KFDddqPHTuGKVOmwM3NDY6OjvD398f69et11klJSYGVlRWGDBkCKysr4c+1tbVdUltLBjXr\nGfPGH0REBPSCME5NTUVkZCSWLVuGjIwM+Pv7Izg4GOfPn29zu7q6OoSEhGDChAl6r1lYWCAsLAzp\n6enIzs7G8uXLoVQqsXXrVr31fvvtN+EnPz8fJiYmd1xbayz1JnCxZ0xERL0gjJOSkjB37lzMmzcP\n7u7uiIuLg729vV5wNrdy5UqMGjUK06ZN03tNoVAgKCgIHh4ekMvlCA4ORmBgoF6vViKRwMbGBra2\ntsJPV9TWmkF6E7jYMyYiIpHDuK6uDnl5eZg0aZJOe2BgILKzs1vdbu/evdi3bx/i4uI69D4nT55E\nTk4OHnzwQZ32mzdvYvTo0fD29sazzz6L77///o5rawsfFkFERC0RNYzLysqgVqthZ2en025ra4uS\nkpIWt7l48SIiIiKwefNmmJubt7l/b29v2NvbY/LkyQgJCcGCBQuE19zd3fHee+9h27ZtSE5Ohqmp\nKR5//HGcOXOm07W1R38CF3vGRETUB59nvGTJEoSEhMDX1xcA2nzYQnp6OqqqqpCTk4Po6Gi4uLhg\n1qxZAAA/Pz/4+fkJ6/r7++Ohhx7Cxo0boVQqu6X25hO42DMmIiJA5DC2traGTCbT62mWlpbq9Ugb\nZWRkICsrSwhMrVYLjUYDW1tbJCQkYP78+cK6crkcAODl5YWSkhIolUohjJuTSqVQKBQ4ffp0p2tr\nVFBQ0GL7DTUA3CMsV9SoW11XDL2pFkOxdnGwdnGw9p7l7u7e7e8hahgbGxtDoVDg8OHDOhOxDh06\nhOnTp7e4TfNJWGlpaUhMTMTBgwfh4ODQ6nup1Wq9y5aa+/HHHzFmzJhO19aotV+cVquFtKAUmlud\n+RqNBK73DYexVNLi+j2poKCgR/7CdQfWLg7WLg7WfncSfZg6PDwcYWFh8PX1RUBAAJKTk6FSqbBw\n4UIAQGxsLHJzc7Fr1y4AgKenp872ubm5kEql8PDwENo2bdoEFxcX4ZeemZmJDRs2IDQ0VFhnzZo1\n8PPzg5ubG65du4YPPvgAv/zyC9599912a3vhhRc69VklEgkGGkt0ZlFfq9ViiKn4YUxEROIRPYyD\ngoJQXl6OhIQEqFQqeHl5YceOHXBycgIAqFQqFBcXG7RPtVqNmJgYnDt3DjKZDMOGDUNsbKwQ8ABQ\nWVmJiIgIlJSUYNCgQRgzZgzS09OhUCjarc3Z2bnTn3eQsRRXa9XC8rU6DYaYin6FGRERiUhSUVHB\nKb096KWMK/ilvF5Yfu9BK4waYixiRQ368vARaxcHaxcHa787sUvWw/Ruicn7UxMR9XsM4x7W/DGK\nvLyJiIgYxj2s+f2peUtMIiJiGPew5venvs6eMRFRv8cw7mF6PWM+RpGIqN9jGPew5j3ja5zARUTU\n7zGMe9jA5rOp2TMmIur3GMY9bFCzYWr2jImIiGHcw/QvbWLPmIiov2MY97DmPeOrnE1NRNTvMYx7\nWPOe8fVaLTRtPJOZiIjufgzjHmYklcBMdjuQNQCq6hnGRET9GcNYBINMml/exDAmIurPGMYisGx2\neRPvT01E1L8xjEXAnjERETXFMBZB854xZ1QTEfVvDGMRWOr1jBnGRET9GcNYBPo9Yw5TExH1Zwxj\nEeg9LILD1ERE/RrDWATNH6PICVxERP0bw1gEze/CxQlcRET9G8NYBPpPbmLPmIioP2MYi4A9YyIi\naqpXhPGWLVvg4+MDBwcHTJo0CVlZWR3arrCwEM7Ozhg6dKhO+7FjxzBlyhS4ubnB0dER/v7+WL9+\nfav7+eyzz2BlZYXZs2frtCuVSlhZWen8eHp6Gv4Bm2neM77O2dRERP2akdgFpKamIjIyEomJiQgI\nCMDmzZsRHByM7OxsODk5tbpdXV0dQkJCMGHCBBw/flznNQsLC4SFhWHkyJEwMzNDdnY2IiIiYGFh\ngUWLFumsW1RUhOjoaIwfP77F9xkxYgTS0tKgvfVkJZlMdoefuIVLm3idMRFRvyZ6zzgpKQlz587F\nvHnz4O7ujri4ONjb22Pr1q1tbrdy5UqMGjUK06ZN03tNoVAgKCgIHh4ekMvlCA4ORmBgoF6Pu76+\nHosXL0ZUVBRcXFxafB+ZTAYbGxvY2trC1tYWQ4YM6fyHvcVUBhg1Gamu1QA1avaOiYj6K1HDuK6u\nDnl5eZg0aZJOe2BgILKzs1vdbu/evdi3bx/i4uI69D4nT55ETk4OHnzwQZ32N998E66urnrD000V\nFxfDy8sLPj4+CAkJQVFRUYfesy0SiUTv8ib2jomI+i9Rh6nLysqgVqthZ2en025ra4sjR460uM3F\nixcRERGBlJQUmJubt7l/b29vXL58GWq1GitWrMCCBQuE1w4ePIhdu3YhMzOz1e39/PyQlJQEd3d3\nlJaWIj4+HlOmTEF2djYGDx5swCfVN8hYgvKa28vX6rSwNbujXRIRUR8l+jljQy1ZsgQhISHw9fUF\nAOFcbkvS09NRVVWFnJwcREdHw8XFBbNmzUJZWRnCw8ORnJwMS0vLVrefPHmyzrKfnx98fHyQkpKC\npUuX3tHnaOgZq4Vl3oWLiKj/EjWMra2tIZPJUFJSotNeWlqq11tulJGRgaysLCiVSgANYazRaGBr\na4uEhATMnz9fWFculwMAvLy8UFJSAqVSiVmzZuGXX36BSqXCtGnThDDXaBrC0NbWFidOnMB9992n\n997m5ubw9PTE6dOn2/xcBQUF7X52Wa05AGNhOb/4PMyv1Le7XXfqSN29FWsXB2sXB2vvWe7u7t3+\nHqKGsbGxMRQKBQ4fPqwzEevQoUOYPn16i9s0n4SVlpaGxMREHDx4EA4ODq2+l1qtRm1tLQDg/vvv\n15uBvWrVKlRWViIhIaHVyVzV1dUoKCjAxIkT2/xcHfnFOVy7ipPXq4XlgTYOcJeLN05dUFDQI3/h\nugNrFwdrFwdrvzuJPkwdHh6OsLAw+Pr6IiAgAMnJyVCpVFi4cCEAIDY2Frm5udi1axcA6F3nm5ub\nC6lUCg8PD6Ft06ZNcHFxEX7pmZmZ2LBhA0JDQwHc7uE2dc8990CtVuvsJyoqCo8//jicnZ2Fc8Y3\nbtzAnDlz7vhzN3+M4lXehYuIqN8SPYyDgoJQXl6OhIQEqFQqeHl5YceOHcI1xiqVCsXFxQbtU61W\nIyYmBufOnYNMJsOwYcMQGxsrBHxHXbhwAaGhoSgrK4ONjQ3GjRuH/fv3w9nZ2aD9tGSQcfMbf/Cc\nMRFRfyWpqKhgl0wEO8/cwLs/XBeWn3Yxw198Wp9M1t368vARaxcHaxcHa787iX7Tj/6qec+Ys6mJ\niPovhrFIBuqdM2YYExH1Vwxjkej3jHm2gIiov2IYi6T5YxQ5TE1E1H8xjEXS/DGKvLSJiKj/Ev3S\npv7qzbgEXDxVqdM264AxXKwsEP/GMpGqIiIiMTCMRXKu/AYcn3lFp60EgOTI++IUREREojEojLVa\nLX766Sfk5+ejrKwMEokE1tbWGDFiBLy9vSGRSNrfCREREenoUBgfPXoU//73v5Geno7r16/rPSlJ\nIpFg4MCBePzxx/H888/j4Ycf7pZiiYiI7kZthvH+/fvxz3/+E3l5efDy8sK8efOgUCjg6uqKwYMH\nQ6vVoqKiAsXFxcjLyxMe8ODj44OoqCi9RxASERGRvjbDeP78+Zg3bx4++OADnQcoNOfv74/g4GAA\nQH5+PpKTkzF//nycP3++a6slIiK6C7UZxj/88AOsra0N2qGHhwfi4uKwYsWKOyrsbie3skD51xtQ\nfF0ttN1jIoFcfo+IVRERkRjaDGNDg7irtu0P4t9Yhl/K6/BSRrnQ5mopQ/wjPG5ERP0Nb/ohIicL\nmc7yhSo1NFre/IOIqL8x+NKmDz/8EJ988gmKiopQUVGht45EIkFZWVmXFXg3G2QihaWxRLgvda0G\nuFytgZ2ZrJ0tiYjobmJQGK9cuRIbNmzA6NGjMWvWLAwePLi76uo37rWQIb+iXli+UKVmGBMR9TMG\nhfG2bdvw9NNP48MPP+ymcvofp2ZhfL5KDYWNiAUREVGPM+iccXV1NSZNmtRNpfRP95o3O298Q93K\nmkREdLcyKIwnTpyI3Nzc7qqlX2o+iet8FcOYiKi/MSiMExIS8O2332Lt2rUoKSnprpr6FYYxEREZ\ndM7Y19cXWq0Wb731Ft566y0YGxtDKtXNc4lEggsXLnRpkXezli5v0mq1fOgGEVE/YlAYBwUFMSS6\n2JABUpjKgOpbHeKqei0qa7UYPIDHmYiovzAojN9/n8/a7WoSiQT3mstw+trt4enzVWoMHsD7sRAR\n9Rf8H78XcLLQ/U7E88ZERP1Lm2F89OjRTu/YkG23bNkCHx8fODg4YNKkScjKyurQdoWFhXB2dsbQ\noUN12o8dO4YpU6bAzc0Njo6O8Pf3x/r161vdz2effQYrKyvMnj27y2ozxL3Nzxvz8iYion6lzTB+\n9tln8eijj2Lbtm24evVquzu7evUqUlJS8Oijj7YYbC1JTU1FZGQkli1bhoyMDOFxjO09frGurg4h\nISGYMGGC3msWFhYICwtDeno6srOzsXz5ciiVSmzdulVv3aKiIkRHR2P8+PFdVpuh9GdU17eyJhER\n3Y3aPGf8v//9D2vWrMGrr76KiIgI+Pr6QqFQwNXVFYMHD4ZWq0VFRQWKi4uRl5eH7777DgDw3HPP\n4eOPP+5QAUlJSZg7dy7mzZsHAIiLi8OBAwewdetWREVFtbrdypUrMWrUKIwfPx7Hjx/XeU2hUECh\nUAjLcrkcu3fvRlZWFhYtWiS019fXY/HixYiKisLRo0dx5cqVLqnNUM17xhymJiLqX9oM43vvvRfv\nvvsuVq5cif/85z/473//i48//hg3b97UWc/c3Bxjx45FbGwsZs2ahSFDhnTozevq6pCXl4eXX35Z\npz0wMBDZ2dmtbrd3717s27cPR48exRdffNHu+5w8eRI5OTmIjIzUaX/zzTfh6uqK2bNn6w2rd7a2\nzmjp8iYiIuo/OjSb2traGuHh4QgPD0d9fT1+//13oRc5ZMgQDB06FDKZ4Q83KCsrg1qthp2dnU67\nra0tjhw50uI2Fy9eREREBFJSUmBubt7m/r29vXH58mWo1WqsWLECCxYsEF47ePAgdu3ahczMzC6r\nrbPszKQwkgD1t56eWFGrRVWdBhbGnF9HRNQfGHRpEwAYGRnB1dUVrq6u3VBO+5YsWYKQkBD4+voC\naHisY2vS09NRVVWFnJwcREdHw8XFBbNmzUJZWRnCw8ORnJwMS0vLLq+xoKDA4G2sjQdCVXv7C82J\nX89AbqrpyrLa1Zm6ewvWLg7WLg7W3rPc3d27/T0MCuOQkBDMmTMHgYGBenfe6gxra2vIZDK9W2uW\nlpbq9UgbZWRkICsrC0qlEkBDGGs0Gtja2iIhIQHz588X1pXL5QAALy8vlJSUQKlUYtasWfjll1+g\nUqkwbdo0Icw1mobgs7W1xYkTJyCXyw2urVFnfnHDyiqgKqkVlmXWTnC/19Tg/XRWQUFBj/yF6w6s\nXRysXRys/e5kUBgfPXoUO3fuhI2NDWbOnIlZs2bpTJQylLGxMRQKBQ4fPoxp06YJ7YcOHcL06dNb\n3Kb5pUVpaWlITEzEwYMH4eDg0Op7qdVq1NY2hN3999+vN+lr1apVqKysREJCAlxcXGBkZGRwbXeC\nk7iIiPovg8L4119/xYEDB7B9+3Z89NFH+OCDDzBixAjMnj0bwcHBcHJyMriA8PBwhIWFwdfXFwEB\nAUhOToZKpcLChQsBALGxscjNzcWuXbsAAJ6enjrb5+bmQiqVwsPDQ2jbtGkTXFxchG9gmZmZ2LBh\nA0JDQwE0TDhrvp977rkHarVaZz+t1fbCCy8Y/DnbwwdGEBH1XwaFsUwmw2OPPYbHHnsMVVVV2L17\nN7Zv347Vq1dj1apVmDBhAmbPno2nn34aAwcO7NA+g4KCUF5ejoSEBKhUKnh5eWHHjh1CsKtUKhQX\nFxv0odRqNWJiYnDu3DnIZDIMGzYMsbGxQsB3VGu1OTs7G7SfjmDPmIio/5JUVFS0PgOqg1QqFSIj\nI7Fz505IJBKYmpriySefxNKlS+9oGLs/OXu9HvMP3r7O2dZUih2P2fTY+/flczmsXRysXRys/e5k\n8GzqpoqKirB9+3Zs374dhYWFsLGxwYwZM2BiYoJPP/0Un3/+Od5++228+OKLXVXvXcvBTAYpgMb5\n06XVGtSotRgg49ObiIjudgaHcUVFBVJTU/Hpp58iJycHxsbGmDJlClatWoVHH30URkYNu3zjjTcQ\nGhqKtWvXMow7wEQmga2ZFKqbty9nunhDDVfLO/q+REREfYBB/9M/99xzOHDgAGprazF27FjEx8dj\nxowZGDx4sN66JiYmePLJJ7F79+4uK/Zu52Qh0wnj81UMYyKi/sCg/+m///57/PnPf8bs2bM7NO7/\nyCOPYM+ePZ0urr9xspAh93KdsMxJXERE/YNBYfzjjz8atHMbGxs8+OCDBm3Tnx379wZcLKkSlt/9\nrxSfW8ggt7JA/BvLRKyMiIi6k0FhPGTIEGzatAkzZ85s8fXU1FQsXrxY7+lH1DFVN6vh+MwrOm0q\nADjyvij1EBFRzzDonpZarbbNe0FrNBpIJJz921mcOU1E1D8ZfIPptsL222+/bXEyF3UMw5iIqH9q\nd5j6/fffxwcffCAsR0ZGYtWqVXrrVVZW4urVq5g9e3bXVtiP8IGJRET9U7thbGtrK9zH+ezZs3B0\ndISjo6POOhKJBBYWFlAoFFi8eHH3VEpERHSXajeMZ86cKUzYevLJJ7F8+XI8/PDD3V5YfyS3skDl\nviScuVYvtJkZSeDneo+IVRERUXczaDb1l19+2V11EID4N5ahokaD6XsvC21SALFP9Nw9qomIqOe1\nGcbnzp0DAAwdOlRnuT2N65PhBg+QQj5QhrPXG274oQHwc3k9xtmaiFsYERF1mzbDeMyYMZBIJLh0\n6RJMTEyE5fbwOuM7M2qIsRDGAPBDWS3DmIjoLtZmGL/33nuQSCQwNjbWWabuNXqIMf57tlpY/vFK\nXRtrExFRX9dmGD///PNtLlP3GDXEWGf55/J61Gu0MJLyixAR0d2oSy5tvXTpEvLz87tiVwTA2UKG\nwSa3g/emWqszw5qIiO4uBoXxhx9+iKVLl+q0LV++HCNHjsQDDzyAiRMnoqysrEsL7I8kEole7/iH\nMg5VExHdrQwK4+TkZJibmwvLGRkZ2LJlC2bOnImVK1fi9OnTWLt2bZcX2R+NGqI7YesHnjcmIrpr\nGXSdcXFxMRYsWCAs79y5E05OTvjggw8glUpRWVmJnTt34u233+7yQvub0c17xlfqoNVqOYGOiOgu\nZFDPWK1WCzOrAeDQoUP44x//CKm0YTdubm64dOlS11bYT40YbASTJr+dy9UaqG5qxCuIiIi6jUFh\n7OLigiNHjgAAvvvuOxQVFSEwMFB4vaSkBJaWll1bYT9lLJXAc7Bu75iXOBER3Z0MCuNFixZh586d\nGD9+PIKCguDk5ITHHntMeP3EiRPCQyXozo22ZhgTEfUHBoXx4sWL8e6778LNzQ1PPPEEUlNTYWpq\nCgAoLy9HaWkpgoODDS5iy5Yt8PHxgYODAyZNmoSsrKwObVdYWAhnZ2e9228eO3YMU6ZMgZubGxwd\nHeHv74/169frrLNr1y488sgjcHFxgZOTEx566CFs27ZNZx2lUgkrKyudn578sqE3o5phTER0VzJo\nAhcAzJ8/H/Pnz9drt7KywuHDhw0uIDU1FZGRkUhMTERAQAA2b96M4OBgZGdnw8nJqdXt6urqEBIS\nggkTJuD48eM6r1lYWCAsLAwjR46EmZkZsrOzERERAQsLCyxatAgAMGTIECxfvhwjRoyAkZERvvrq\nK7z88suwtbXFH//4R2FfI0aMQFpaGrRaLQBAJpMZ/Bk7y9vKGKo9G6GpqwEAXAQwc7cxZJKGJzzF\nv7Gsx2ohIqLuY3AYd7WkpCTMnTsX8+bNAwDExcXhwIED2Lp1K6KiolrdbuXKlRg1ahTGjx+vF8YK\nhQIKhUJYlsvl2L17N7KysoQwfuihh3S2CQsLw7Zt25CVlaUTxjKZDDY24jw1aZCJFCaaWlg984rQ\nJjzP6cj7otRERERdz+AwPnDgAD755BMUFRWhoqJC6DE2kkgkyMvL69C+6urqkJeXh5dfflmnPTAw\nENnZ2a1ut3fvXuzbtw9Hjx7FF1980e77nDx5Ejk5OYiMjGx1nSNHjqCwsBDR0dE67cXFxfDy8oKJ\niQnGjRuHqKgouLq6tvueXcXCmJcyERHd7QwK43Xr1iEmJgZ2dna4//77MXLkyDt687KyMqjVatjZ\n2em029raCrO2m7t48SIiIiKQkpKicwOSlnh7e+Py5ctQq9VYsWKFzjXSAHD16lWMHDkSNTU1MDIy\nQnx8vM7scD8/PyQlJcHd3R2lpaWIj4/HlClTkJ2djcGDB3fyUxtmoJEEtT3yTkREJBaDwviDDz7A\nxIkTsWPHDp3rjXvSkiVLEBISAl9fXwDQ65k3lZ6ejqqqKuTk5CA6OhouLi6YNWuW8LqlpSUyMzNx\n/fp1HDlyBK+//jrkcjkmTpwIAJg8ebLO/vz8/ODj44OUlBS924I2VVBQcCcfUYexuqbFML5582aX\nvg/QtXX3NNYuDtYuDtbes9zd3bv9PQwK44qKCkybNq3Lgtja2hoymQwlJSU67aWlpXq95UYZGRnI\nysqCUqkE0BDGGo0Gtra2SEhI0JlcJpfLAQBeXl4oKSmBUqnUCWOJRCIMOY8aNQr5+flITEwUwrg5\nc3NzeHoUbv9RAAAgAElEQVR64vTp021+rq78xQ00N0NVC+1mZmZd+j4FBQU98heuO7B2cbB2cbD2\nu5NBYTx27Niu7fUZG0OhUODw4cOYNm2a0H7o0CFMnz69xW2aX/aUlpaGxMREHDx4EA4ODq2+l1qt\nRm1t2wO+Go0GNTU1rb5eXV2NgoKCVsO6O8itLFCxbwOKrqmFNiMpMM7tnh6rgYiIupdBYbx27VoE\nBwdDoVDo9DDvRHh4OMLCwuDr64uAgAAkJydDpVJh4cKFAIDY2Fjk5uZi165dAKB3nW9ubi6kUik8\nPDyEtk2bNsHFxUX4BpaZmYkNGzYgNDRUWCchIQHjxo2Di4sLamtrsXfvXmzfvh3x8fHCOlFRUXj8\n8cfh7OwsnDO+ceMG5syZ0yWfvSPi31iGGrUWQXsv40b97SH55x7omXPWRETU/QwK4/nz56O2thZh\nYWF47bXX4OjoqHfdrUQiwYkTJzq8z6CgIJSXlyMhIQEqlQpeXl7YsWOHcI2xSqVCcXGxIWVCrVYj\nJiYG586dg0wmw7BhwxAbGysEPABUVVXhr3/9Ky5cuABTU1OMGDECGzduRFBQkLDOhQsXEBoairKy\nMtjY2GDcuHHYv38/nJ2dDarnTg2QSfCgwwB8/Xu10HbgfDXutzVpYysiIuorJBUVFa3PgGrmT3/6\nU4eeGvTll1/eUVGkL1tVgxXZlcKypbEEqVNsYCztmkuf+vK5HNYuDtYuDtZ+dzKoZ5yWltZddVA7\nxtqaYJCJBFdrG747XavTIqekFuMdBohcGRER3SmD7k1N4jGSSjDJ0VSn7cD56lbWJiKivsTgML5y\n5QpWr16NKVOm4P7778c333wjtK9Zswb5+fldXiQ1mOys2ws+dqkGN+s7fJaBiIh6KYOGqYuLizF1\n6lRcuXIFI0eORFFREW7evAmg4cELqampuHz5ss6MZOo6o4cYo/K/m3Cj+naPeNpXMliZSPngCCKi\nPsygMI6OjoZWq8WJEydgaWmJ4cOH67z+xBNP8LxyN5JKJLCQ1OKeJg+OqAWgAvjgCCKiPsygYerD\nhw8jNDQUrq6uLc6qdnFxwYULF7qsONJnZcLT/EREdxuD/mevqalp8wEJlZWVkEoZFt3J3IhPcSIi\nutsYlJxeXl44duxYq6+npaVhzJgxd1wUGU7NeVxERH2WQWH80ksvYefOnVi7di3Ky8sBNNzP+bff\nfsPixYvx7bffIjw8vFsKpbZdrtaIXQIREXWSQRO4goOD8fvvv+Ott97CW2+9BQCYMWMGAEAqlSI2\nNhZTp07t+ipJILeyAI68j0s31Lh083YAm5oOwM16Lcw4jE1E1OcYFMYA8Nprr2HmzJnYs2cPTp8+\nDY1Gg2HDhuGpp54SHkdI3afx8qVrtRo8u79M5+ERXxbfRPB95mKVRkREnWRwGAPA0KFDsXTp0q6u\nhQxgaSJF0DAz/LvghtD2n1M38LSrGQbI2DsmIupL2gxjKyurDj0YorkrV650uiDquGA3c3x++gaq\nbz3quKxGg6/O3sS0YewdExH1JW2G8d/+9je9MP7yyy+Rn5+PwMBA4aYfp06dwsGDB+Hp6Yk//elP\n3Vct6Rg8QIqnXcyw/t1/QVNXAwB44wvg31bGkAC8KxcRUR/RZhhHRkbqLH/44Ye4cuUKsrOz4ebm\npvPaqVOn8NRTT8HR0bHrq6RWPTvcHOvqauDY5K5cJY1/4F25iIj6BIMubVq3bh0WL16sF8QAMHz4\ncCxevBjvvvtulxVH7bM2lcHalDdaISLqywz6X/zChQswMmq9My2TyXg7TBHYmcnELoGIiO6AwXfg\n2rJlS4uBe/78eSQnJ2PkyJFdVhx1TGu3q77OxysSEfUJBl3a9NZbb2HGjBkYO3Yspk6dKgxXnz59\nGl999RW0Wi02bdrULYWS4c5dV6NGreWlTkREvZxBYfzAAw9g//79+Oc//4mvvvpKeJaxmZkZAgMD\nERkZCW9v724plFrXeFeu63VanLpaL7RLjQfgk9+qsNhroIjVERFRewy+6cfIkSPx73//GxqNBpcv\nXwYA2NjY8GlNImp6+dLak1fxZXE1VHs2QlNXg/g1SuwebASzW71jXu5ERNT7dOoOXEDDvajt7Oy6\nshbqAktGDsQJVS0uNrnc6eqtHwC83ImIqBdid/YuY2ksxWtjLMUug4iIDNArwnjLli3w8fGBg4MD\nJk2ahKysrA5tV1hYCGdnZwwdOlSn/dixY5gyZQrc3Nzg6OgIf39/rF+/XmedXbt24ZFHHoGLiwuc\nnJzw0EMPYdu2bV1Wm5gmOAzA4NamWBMRUa8j+v/YqampiIyMxLJly5CRkQF/f38EBwfj/PnzbW5X\nV1eHkJAQTJgwQe81CwsLhIWFIT09HdnZ2Vi+fDmUSiW2bt0qrDNkyBAsX74cBw4cwLFjx/D888/j\n5Zdfxv79+++4tt7AeWDL1x5X8XInIqJeR/QwTkpKwty5czFv3jy4u7sjLi4O9vb2OsHZkpUrV2LU\nqFGYNm2a3msKhQJBQUHw8PCAXC5HcHAwAgMDdXq1Dz30EJ544gkMHz4crq6uCAsLg7e3t846na2t\nN2jtscZnrtVDdUPds8UQEVGbOj2BqyvU1dUhLy8PL7/8sk57YGAgsrOzW91u79692LdvH44ePYov\nvvii3fc5efIkcnJy9O613dSRI0dQWFiI6OjoO6qtt2i83OlKjQZnr6tRfb4A0gHmgESCKS/HYPg9\nRpBJOLuaiKg3EDWMy8rKoFar9WZl29ra4siRIy1uc/HiRURERCAlJQXm5m0/KtDb2xuXL1+GWq3G\nihUrsGDBAp3Xr169ipEjR6KmpgZGRkaIj49HYGBgp2vrTZoG7OZfrmPtGqXOwyQuN/6Bs6uJiEQn\nahh3xpIlSxASEgJfX18AgFbb+jnQ9PR0VFVVIScnB9HR0XBxccGsWbOE1y0tLZGZmYnr16/jyJEj\neP311yGXyzFx4sRu/xw9KcTTAptNWh635hlkIiLxiRrG1tbWkMlkKCkp0WkvLS1t9RrmjIwMZGVl\nQalUAmgIY41GA1tbWyQkJGD+/PnCunK5HEDDPbVLSkqgVCp1wlgikcDV1RUAMGrUKOTn5yMxMRET\nJ07sVG2NCgoKOnYAepCdUR2ut9B+qqIWP+UXwETaO+vuKNYuDtYuDtbes9zd3bv9PUQNY2NjYygU\nChw+fFhnItahQ4cwffr0FrdpfmlRWloaEhMTcfDgQTg4OLT6Xmq1GrW1tW3Wo9FoUFNT0+naGvXE\nL85QFmZmLYZxlVqC5DIbLLS+jNEeva/ujigoKOiVx7wjWLs4WLs4+nLt3U30Yerw8HCEhYXB19cX\nAQEBSE5OhkqlwsKFCwEAsbGxyM3Nxa5duwAAnp6eOtvn5uZCKpXCw8NDaNu0aRNcXFyEX3pmZiY2\nbNiA0NBQYZ2EhASMGzcOLi4uqK2txd69e7F9+3bEx8e3W9sLL7zQXYejR6n2bETt5fNI25SAg1It\nhg824aQuIiIRiB7GQUFBKC8vR0JCAlQqFby8vLBjxw44OTkBAFQqFYqLiw3ap1qtRkxMDM6dOweZ\nTIZhw4YhNjZWCHgAqKqqwl//+ldcuHABpqamGDFiBDZu3IigoKB2a3N2du6aD9+DGmdXA0CdBii8\nWo9q1e9weXGNsA4ndRERiUNSUVHBOTz9UGWtBg8vjcbgp1/We810XxK+Wh/T80V1Ul8e+mLt4mDt\n4ujLtXc30XvGJI57TKQYPsjodm/4FtWejai+WIyJL62Eg7kMjXOwOXRNRNR9GMb9mKyFq500dTXC\n0LXOPHIOXRMRdRvRb4dJRETU37Fn3I81ndR18+ZNqI1NUXdZ9yEYqj0boamrwe9l5xH0WiwaHwbF\nYWsioq7DMO7HmoZp48SKZ16LxZUm62jqaoTbaJY33ZjD1kREXYbD1KTDuIN/IyprtW3eipSIiDqO\nPWPS0XToukatxe9l+s9ubpxxPe7FlbjXXAbzW89r5NA1EVHnMIxJR/MwnfXXWN1Z1dCdcX3t1g8A\nDl0TEXUSw5ja1PKznvSp9mzE75eK8MQrMbA0vr0Ve8tERO1jGFObmg5bA8DNVoauNXU1cA5dgxsA\nbjR9gb1lIqJ2MYypTS31ap/9ayxUHdhWtWcjLqiKMP21GAyQsrdMRNQahjF1G01dDe5dvAYVzV9g\nb5mISAfDmAzWfOgaAErKL7S7XeMNRM6XncfUW+eWJWBPmYiIYUwG6+zQddMbiNy89aPasxHfn/oJ\nRX+JRZORbAY0EfUrDGPqEs17yxoAl8r1J3o1p6mrgWPIGpQ2f4FD2UTUjzCMqUvcyUSv5lR7NuLc\nxSI8GLYSliZSWBhJIJOwt0xEdy+GMXWb5r3lyxXtn1cGGnrLQ2/dVOQmgKJb55q/K/gJP74Sw3Am\norsOw5i6TfOg7GxPubVzzd8V/ISTf46GVF2Le8xNATCgiahvYhhTj2lpFnZZB3vLzTVeNlV7a7ka\nDQGdV/ATfng5BmZGEj7ukYj6DIYx9ZiWAnH56rU42yygOzqc3ZymrgaOi9egGrfDuXF4O+/P0TAz\nkuDcqXzIzAbiPrmzzrYMbCISE8OYRNWVE7+aazq8XXfr50bFOjg+84rO/lV7NuKnwp9x9q+xOtsz\noImopzCMqddpPpzd2aHsjtLU1cB+kVIvoL8/9TN+i4iBiUyCwvxfUWdkhgHGMp1eNQObiLoCw5h6\nnebh1tJQdk8EtGOIEpW3lqvK1gm97MbQVu3ZiB8Lf0bxX2N1nm7FgCYiQ/WKMN6yZQvWr18PlUoF\nT09PvP3223jggQfa3a6wsBAPP/wwJBIJzp07J7QfO3YMb775JgoKCnDz5k0MHToU8+bNw8svvyys\n8/HHH2Pbtm345ZdfoNVqMWbMGPzjH/9AQECAsI5SqcSaNWt03tPe3h6//vprF3xq6qj2zjXfvHkT\nZmZm3R7QzTX2qJs+77lxlndueDSMpRJcKMyH2sQMZsZS3CcfKqzHwCaipkQP49TUVERGRiIxMREB\nAQHYvHkzgoODkZ2dDScnp1a3q6urQ0hICCZMmIDjx4/rvGZhYYGwsDCMHDkSZmZmyM7ORkREBCws\nLLBo0SIAQGZmJmbMmIE//OEPMDc3x4YNGzBjxgxkZmZi2LBhwr5GjBiBtLQ0aLVaAIBMJuuGo0CG\nahpkBQUFcHd31+tB93Q4A7dneasBqAHUXGu5R/1dwU/4Zmk0tPV1MB9ggguF+TAyt8Bwl6GQACjg\nsDhRvyJ6GCclJWHu3LmYN28eACAuLg4HDhzA1q1bERUV1ep2K1euxKhRozB+/Hi9MFYoFFAoFMKy\nXC7H7t27kZWVJYTxpk2bdLZJTExEWloa9u/fj9DQUKFdJpPBxsbmjj8ndb+ODG9fvVyI65/8Qyfg\nxOhR37u4YcRFgoaZ3zXX1mHIM68IvezWhsW/P/UTfn4lBjIpYCSR4EzBr5wdTnQXEDWM6+rqkJeX\npzN8DACBgYHIzs5udbu9e/di3759OHr0KL744ot23+fkyZPIyclBZGRkq+vU1NSguroagwcP1mkv\nLi6Gl5cXTExMMG7cOERFRcHV1bXd9yTxdTSMxDgn3RmN9/GuatJ2o7zl2eGNPW+ZBFCdzofGxBwD\njKRwGeoMWSshXpD/K6QMdiJRiBrGZWVlUKvVsLOz02m3tbXFkSNHWtzm4sWLiIiIQEpKCszNzdvc\nv7e3Ny5fvgy1Wo0VK1ZgwYIFra67evVqWFpaYurUqUKbn58fkpKS4O7ujtLSUsTHx2PKlCnIzs7W\nC23quzpy/fPVy4Uo2/p3nWHj3hjYgG7PWwOgPvV2L7txQlpLId7YG2/aE9fU1eDkqYYbqcikwLlT\n+TAys8Aw+VDUVt+EuZmZXohziJ3IcKIPUxtqyZIlCAkJga+vLwAI53Jbkp6ejqqqKuTk5CA6Ohou\nLi6YNWuW3nrvv/8+PvroI+zevRsDBw4U2idPnqyznp+fH3x8fJCSkoKlS5d20Sei3qgjodFXetSd\n1fQ67epbbTWVDcPpZbeWr0E/xFsbYj956+YrUgkgkzTegMUCrnJnSCHB6YJfUW9kBtMmId5Sb509\neLobiRrG1tbWkMlkKCkp0WkvLS3V6y03ysjIQFZWFpRKJYCGMNZoNLC1tUVCQgLmz58vrCuXywEA\nXl5eKCkpgVKp1AvjpKQkKJVKfPbZZzrnmVtibm4OT09PnD59us31CgoK2ny9t+qrdQPi1P7is9P0\n2uI3fYxLXyUKy1dUhSjZ8jeYyCSQO9oDAEquXOqxGnuLxruj1TVpq73aENoVt5ZvluuHePOgb61N\ntWcj8n77ETkvvg6JRAtVUSE0JuYwlklwr4MDJBLg9zOFkJlZYKijPSRoOF9fdKYQUtOBwu+m6Ewh\n6o0tdH5fzddp5GBhjOUvzocY+G+1Z7m7u3f7e4gaxsbGxlAoFDh8+DCmTbv9H9uhQ4cwffr0FrfJ\nysrSWU5LS0NiYiIOHjwIBweHVt9LrVajtrZWp+29995DXFwctm/fDn9//3brra6uRkFBASZOnNjm\nej3xi+tqjTOS+6LeVPum+FXtrtPSZVnNJ5b1pWHx3kBTVwPH0DgAgBaAusnQfM2tdepS18HmmVdw\nvcl2NbfWu9psGYBe29Um26n2bER+/mmc+tf/QSoBLhbmQ2NiBmOZDE7OzpACOHur5+8y1Lkh/BvP\n1ZtawO3WrPnGmfPtDfM3Xafx70xfHCHoTf9WexvRh6nDw8MRFhYGX19fBAQEIDk5GSqVCgsXLgQA\nxMbGIjc3F7t27QIAeHp66myfm5sLqVQKDw8PoW3Tpk1wcXERfumZmZnYsGGDzizpdevWYfXq1di8\neTPc3NyE3rmpqSkGDRoEAIiKisLjjz8OZ2dn4ZzxjRs3MGfOnO47IHTXa+myrI7orbPD+6PGnr4G\n+uflb95ap7HnX9lku8bef2mTto4M8zdf52oLbY3n+PMKfsL/wqMBAJdON9yL3fFeJ0gkgAQS/F6Y\nD5mpBZydnSGRAGcL8lFvYoYBsoYJfhKJBGd++xVSMwu4yW99aZAApzpwyqCzXyQ4z6AXhHFQUBDK\ny8uRkJAAlUoFLy8v7NixQ7jGWKVSobi42KB9qtVqxMTE4Ny5c5DJZBg2bBhiY2OFgAcabjRSX1+v\n0wYAc+bMwYYNGwAAFy5cQGhoKMrKymBjY4Nx48Zh//79cHbW/SZK1BM6Ozu8pV52SyHevI2h3rc0\nPcevudWmTl0Hu2deQdMxwbprDSMEjbPyaypvh3/zUwaXm2zXkVMGnf0i0do8g7yCn5CzNFr4QnDx\ndD5kpgPh4OQECSDcVMdEJsO9Tg1/b38vbBiRcHZyBiQNow9nC/IhNbOAvHGUAsCZgltzFoY23Iyn\ncc7CACMp7rs1cgH03BcC0cMYABYtWiRc/9tcUlJSm9s+99xzeO6553TaXnrpJbz00kttbvf999+3\nW1dycnK76xD1Nl31H0d7PXEOsVN3ahx9ABpOPWgBaFLXwf6ZV1B/a52mIxKNkwybf9kAbn/haHqq\nofrWQ2Ou3FpuOmdBZxZTs38D3aVXhDER9T7thXpXD7F3tgcPMOyp72MYE1G36+5hPkOH5g3p1TP8\nqScwjImozzM07O90Vm9XnZdvqa2zXyT4BaFvYxgTERlIzBm+rX2R6Ohs+648PdBVXyQ4z4BhTER0\nV+gLlwD1pnkGHdkX0DCbuicwjImIqNfpC18uupJU7AKIiIj6O4YxERGRyBjGREREImMYExERiYxh\nTEREJDKGMRERkcgYxkRERCJjGBMREYmMYUxERCQyhjEREZHIGMZEREQiYxgTERGJjGFMREQkMoYx\nERGRyBjGREREImMYExERiYxhTEREJLJeEcZbtmyBj48PHBwcMGnSJGRlZXVou8LCQjg7O2Po0KE6\n7ceOHcOUKVPg5uYGR0dH+Pv7Y/369TrrfPzxx5g6dSpcXV3h4uKCp556CidOnOiy2oiIiDpK9DBO\nTU1FZGQkli1bhoyMDPj7+yM4OBjnz59vc7u6ujqEhIRgwoQJeq9ZWFggLCwM6enpyM7OxvLly6FU\nKrF161ZhnczMTMyYMQN79uzBwYMH4e7ujhkzZuDMmTN3XBsREZEhRA/jpKQkzJ07F/PmzYO7uzvi\n4uJgb2+vE5wtWblyJUaNGoVp06bpvaZQKBAUFAQPDw/I5XIEBwcjMDBQp1e7adMmLF68GKNHj8Z9\n992HxMREDBw4EPv377/j2oiIiAwhahjX1dUhLy8PkyZN0mkPDAxEdnZ2q9vt3bsX+/btQ1xcXIfe\n5+TJk8jJycGDDz7Y6jo1NTWorq7G4MGD76g2IiIiQ4kaxmVlZVCr1bCzs9Npt7W1RUlJSYvbXLx4\nEREREdi8eTPMzc3b3L+3tzfs7e0xefJkhISEYMGCBa2uu3r1alhaWmLq1Kmdro2IiKgzjMQuwFBL\nlixBSEgIfH19AQBarbbVddPT01FVVYWcnBxER0fDxcUFs2bN0lvv/fffx0cffYTdu3dj4MCB3VZ7\nb+bu7i52CZ3G2sXB2sXB2u9OooaxtbU1ZDKZXk+ztLRUr0faKCMjA1lZWVAqlQAawlij0cDW1hYJ\nCQmYP3++sK5cLgcAeHl5oaSkBEqlUi+Mk5KSoFQq8dlnn0GhUNxRbURERJ0h6jC1sbExFAoFDh8+\nrNN+6NAhBAQEtLhNVlYWMjIykJmZiczMTLz++uswNzdHZmZmi5O5GqnVatTW1uq0vffee1Aqldi+\nfTv8/f3vuDYiIqLOEH2YOjw8HGFhYfD19UVAQACSk5OhUqmwcOFCAEBsbCxyc3Oxa9cuAICnp6fO\n9rm5uZBKpfDw8BDaNm3aBBcXF2FIJDMzExs2bEBoaKiwzrp167B69Wps3rwZbm5uQg/Y1NQUgwYN\narO2F154oduOBxER9T+ih3FQUBDKy8uRkJAAlUoFLy8v7NixA05OTgAAlUqF4uJig/apVqsRExOD\nc+fOQSaTYdiwYYiNjRUCHmi4mUd9fb1OGwDMmTMHGzZsaLM2Z2fnO/zUREREt0kqKipanwFFRERE\n3U70m37cLXrbbTOVSiWsrKx0fpoP8b/99tvw8vKCo6MjnnzySfz66686r9fW1mL58uW477774OTk\nhDlz5uDChQtdXuvx48cxZ84cjBw5ElZWVti2bZveOl1Ra0VFBV588UXI5XLI5XIsWbIElZWV3Vr7\n0qVL9X4Pjz32mOi1JyYmIjAwEHK5HMOHD8fs2bPxyy+/6K3XG497R2rvrcd9y5YtmDBhgrC/xx57\nDF9//bXOOr3xmHek9t56zFuSmJgIKysr/O1vf9NpF/PYM4y7QG+9beaIESNQUFCA3377Db/99huO\nHz8uvPavf/0L77//PuLj43Ho0CHY2toiKCgIVVVVwjp///vfkZaWhq1btyI9PR3Xrl3Ds88+2+bl\nZJ1RVVUFb29vKJXKFq8d76paFy9ejB9//BE7d+5Eamoqvv/+e4SFhXVr7QDwyCOP6Pwetm/frvO6\nGLUfP34coaGh+Prrr7Fnzx4YGRlh+vTpqKioENbprce9I7UDvfO4Ozk54c0338TRo0dx+PBhTJw4\nEc8//zx+/vlnAL33mHekdqB3HvPmcnJy8NFHH2HUqFE67WIfew5Td4E//vGPGD16NN555x2hbezY\nsZg+fTqioqJEqUmpVGL37t06AdyUp6cnlixZgtdeew0AUF1dDXd3d6xevRoLFizA1atXMXz4cLz/\n/vuYMWMGAOD8+fMYPXo0Pv/8czzyyCPdUrezszPi4+MxZ86cLq01Pz8fAQEB+Prrr+Hn5wcAOHHi\nBKZOnYpvv/0W9913X7fUvnTpUly5cgX/+c9/Wtymt9ReVVUFuVyOlJQUTJkyBUDfOe4t1d5XjjsA\nDBs2DDExMViwYEGfOeYt1d4XjnllZSUmTZqE9evXQ6lUYuTIkcKdHMU+9uwZ36HefNvM4uJieHl5\nwcfHByEhISgqKgIAFBUVQaVS6QSqqakpxo8fL9T83Xffob6+XmcdJycneHh49Ojn6qpac3JyYGlp\nKfwDAYCAgABYWFh0++c5ceIE3N3dMW7cOLz66qu4fPmy8FpeXl6vqP3atWvQaDTC7WD70nFvXnuj\n3n7cNRoNPv/8c9y4cQN/+MMf+tQxb157o95+zCMiIhAUFKR3a+TecOxFn03d17V128wjR46IVBXg\n5+eHpKQkuLu7o7S0FPHx8Xj88cdx4sQJlJSUQCKRwNbWVmcbW1tbXLp0CUDDzU1kMhmGDBmit05P\n3g60q2otKSmBtbW13v5tbGy69fM8+uijePrpp+Hi4oKzZ89i1apVePrpp3HkyBEYGxujpKSkV9T+\n97//HT4+PsL19n3puDevHejdx/3nn3/GY489hurqagwcOBD/93//B09PT3zzzTe9/pi3VjvQu485\nAHz00UcoKipCcnKy3mu94e87w/guNXnyZJ1lPz8/+Pj4ICUlBePGjROpqv4nKChI+HPjKMXo0aOx\nd+9ePPnkkyJWdtvrr7+Ob775Bl999RUkEonY5Riktdp783EfMWIEMjMzUVlZid27dyMsLAxpaWmi\n1tRRrdXu6enZq4/5qVOnsGrVKuzduxdSae8cEO6dVfUhfeW2mebm5vD09MTp06dhZ2cHrVaL0tJS\nnXWa1mxnZwe1Wo0rV660uk5P6Kpa7ezsUFZWprf/y5cv9+jncXBwwL333ovTp08LdYlZe2RkJHbu\n3Ik9e/YIt49tfM/eftxbq70lvem4GxkZwdXVFT4+PoiKisLo0aORlJTUJ455a7W3pDcd82+++QZX\nrlzBH/7wB9jY2MDGxgbHjh3Dli1bYGtriyFDhoh+7BnGd6iv3DazuroaBQUFcHBwgKurK+zt7XHo\n0CGd17OysoSaFQoFjIyMdNY5f/68MEGhp3RVrf7+/rh+/TpycnKEdbKzs/XOeXW3y5cv4+LFi7C3\nt9eSsooAAAfpSURBVBe99hUrVghh1nxiSW8/7m3V3pLedNyb02g0qKmp6fXHvK3aW9KbjvmTTz6J\n48ePC7dRzszMhK+vL2bOnInMzEwMHz5c9GMv+/vf/x7T6U9IAABLS0u8/fbbsLe3h5mZGeLi4nDi\nxAm89957wq01e1pUVBQGDBgArVaLU6dOYfny5Thz5gzeeecdDBo0CGq1Gu+88w6GDx8OtVqNf/zj\nHygpKcE777wDExMTDBgwAJcuXcKWLVvg7e2NyspK/OUvf8HgwYMRExPTpcOZVVVVyM/Ph0qlwief\nfAJvb28MGjQIdXV1XVartbU1vv32W+zYsQNjxozB+fPn8dprr2HcuHE6t0ntytplMhlWrVoFS0tL\nqNVqfP/993j11Veh0WgQHx8vau3Lli3Dp59+ig8//BBOTk6oqqoSLuEwMTEBgF573Nurvaqqqtce\n99jYWOHf5fnz55GUlITPPvsMsbGxGDZsWK895u3Vbmdn12uPOQAMGDBA6BE3/uzYsQNDhw4Vrn4Q\n+9jz0qYusnXrVrz77rvCbTPffvttUXvGISEhyMrKQllZGWxsbDBu3Dj84x//wIgRI4R11qxZgw8/\n/BAVFRUYO3Ys1q5dq3NjkLq6Orzxxhv47LPPUF1djYcffhhr167Fvffe26W1ZmZm4qmnntIL+Ka3\nJu2KWisrK/G3v/0N6enpAIAnnngCcXFxd/SFqa3aExIS8Pzzz+OHH35AZWUl7O3tMXHiRLz++us6\ndYlRu5WVVYtfqFasWIEVK1YIy73xuLdXe3V1da897kuXLkVmZiZKSkowaNAgeHt749VXX9W5GqM3\nHvP2au/Nx7w1Tz31FLy8vIRLmwBxjz3DmIiISGQ8Z0xERCQyhjEREZHIGMZEREQiYxgTERGJjGFM\nREQkMoYxERGRyBjGREREImMYE/UTL730EhwcHMQug4hawDAm6ickEkmfeyoTUX/BMCYiIhIZw5iI\niEhkDGOiPuLtt9+GlZUVTp06hZdeegkuLi6Qy+UIDw9HdXV1h/dz8eJFPPfcc3B2dsbw4cMRFRUF\nrVb3FvU3b95EVFQURo0aBXt7e4wdOxb/+te/dNY7e/YsrKyssG3bNr33sLKywpo1a4TlqqoqvPHG\nG/Dx8YG9vT2GDx+OJ598EllZWTrb5ebmIjg4GHK5HI6Ojpg6dSoyMjJ01unovoj6EiOxCyCijmk8\n37to0SIMGzYMMTExOHnyJD7++GPY2dkhOjq63X2o1WrMmDED48aNw+rVq3H48GFs2LABbm5uWLhw\nobDec889hyNHjmDevHnw8fHBkSNHEBsbi3PnziEhIcHg2l977TXs3r0boaGh8PDwQEVFBf73v//h\nxx9/xAMPPACg4QlYM2fOxJgxY7BixQoYGxvj008/xTPPPIMvvvgCEyZM6PC+iPoahjFRH6NQKLBu\n3TphuaysDJ988kmHwri+vh7PPPMMli1bBgB44YUX8PDDD+OTTz4Rwvi///0vDh8+jNdffx3Lly8H\n0PAFIDw8HP/v//0/hIaG6jxWriO+/vprzJ8/H6tWrWp1nb/85S8YP348UlNThbZFixbhoYcewqpV\nq/DVV191eF9EfQ2HqYn6EIlEgvnz5+u0PfDAA7hy5QquX7/eoX20tH1RUZGwvG/fPshkMixZskRn\nvT//+c/QarX4+uuvDa570KBB+N///oeLFy+2+PoPP/yAgoICzJgxA1euXBF+KisrMWnSJHz77bfC\nUHx7+yLqi9gzJupjnJ2ddZYHDx4MAKioqMDAgQPb3NbY2Bh2dnZ621dUVAjL586dg52dnd7D0N3d\n3SGVSnH27FmDa161ahWWLl2KUaNGYcyYMZg8eTJmz56N4cOHAwAKCwsBNAR+SyQSCa5c+f/t271L\nI1EUxuE32ikzjR9FNBHFSkQ0VZhGBBnTiEWwChgQFKuUtoIIU1gIhiCK2FkERIyIBMSPxvhHBBsb\nq4hmWh22WJhl3Lim2GUY9veUh3sP072ce++8KB6Pf9sLiCLCGIiYzs7OlvXPj7Ba6ej4e4dhX/2z\n7Hneb7WFhQVZlqXLy0vd3Nzo4OBAu7u72tvbUzab9fdsbm5qYmKiZd/e3t62egFRRBgDCEgkErq7\nu5PrujIMw6/X63V5nqdkMinp10T+9vYW2P/V5NzX16d8Pq98Pq9ms6nZ2Vk5jqNsNqvh4WFJUnd3\nt6anp7/9xj/1AqKIO2MAAXNzc/r4+ND+/n6gXiqVFIvFZNu2JMkwDPX09KhWqwXWHR4eBqZmz/PU\nbDYDa0zT1NDQkB/kk5OTGhkZUalUann33Wg02u4FRBGTMYCATCajmZkZOY6jp6cn/9emi4sLLS8v\nB15SLy0taWdnR4VCQVNTU6rVanp8fAwcmbuuq7GxMc3Pz2t8fFymaerh4UHX19daXV2V9PPIu1gs\nanFxUel0WrlcTgMDA3p+ftb9/b0k6fz8vK1eQBQRxsB/5Kt73s/14+NjOY6j09NTlctlDQ4OamNj\nQ4VCIbBufX1djUZDlUpFZ2dnsm1bJycnGh0d9Xt2dXVpZWVFt7e3qlaren9/VzKZ1NbWltbW1vxe\nlmXp6upK29vbOjo6kuu66u/vVyqV8l+At9sLiJrY6+vr968+AADAP8OdMQAAISOMAQAIGWEMAEDI\nCGMAAEJGGAMAEDLCGACAkBHGAACEjDAGACBkhDEAACEjjAEACNkPgIFLmdjxp5UAAAAASUVORK5C\nYII=\n",
      "text/plain": [
       "<matplotlib.figure.Figure at 0x1149702e8>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "plot_density(range(100, 4000, 50))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The density is going down, and the curve is almost but not quite flat. "
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "\n",
    "\n",
    "# lim <sub>n &rarr; &infin;</sub> density(n)\n",
    "\n",
    "[The puzzle](http://fivethirtyeight.com/features/can-you-solve-the-puzzle-of-your-misanthropic-neighbors/)\n",
    "is to figure out the limit of `density(n)` as `n` goes to infinity. The plot above makes it look like  0.432+something, but we can't answer the question just by plotting;  we'll need to switch modes from *computational* thinking to *mathematical* thinking.\n",
    "\n",
    "At this point I started playing around with `density(n)`, looking at various values, differences of values, ratios of values, and ratios of differences of values, hoping to achieve some mathematical insight. Mostly I got dead ends.\n",
    "But eventually I hit on something promising. I looked at the difference between density values (using the function `diff`), and particularly the difference as you double `n`:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "0.0014849853757253895"
      ]
     },
     "execution_count": 13,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "def diff(n, m): return density(n) - density(m)\n",
    "\n",
    "diff(100, 200)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "And compared that to the difference when you double `n` again:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 14,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "0.0007424926878626947"
      ]
     },
     "execution_count": 14,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "diff(200, 400)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Hmm&mdash;I noticed that the first difference is just about twice as much as the second. Let's check:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 15,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "2.0"
      ]
     },
     "execution_count": 15,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "diff(100, 200) / diff(200, 400)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Wow&mdash;not only is it *close* to twice as much, it is *exactly* twice as much (to the precision of floating point numbers). Let's try other starting values for `n`:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 16,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "2.0"
      ]
     },
     "execution_count": 16,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "n = 250; diff(n, 2*n) / diff(2*n, 4*n)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 17,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "2.0"
      ]
     },
     "execution_count": 17,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "n = 500; diff(n, 2*n) / diff(2*n, 4*n)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "OK, I'm convinced this is real! \n",
    "\n",
    "Now, what mathematical function behaves like this? I figured out that *f*(*n*) = (1 / *n*) does. The ratio of the differences would be:\n",
    "\n",
    "$$\\frac{f(n) - f(2n)}{f(2n) - f(4n)} = \\frac{1/n - 1/(2n)}{1/(2n) - 1 / (4n)}\\;\\;$$\n",
    "\n",
    "Multiplying top and bottom by *n* you get:\n",
    "\n",
    "\n",
    "$$\\frac{1 - 1/2}{1/2 - 1 /4} = \\frac{1/2}{1/4} = 2\\;\\;$$\n",
    "\n",
    "If the function (1 / *n*) fits the pattern, then so does any *affine transformation* of (1 / *n*), because we are taking the ratio of differences.  So that means a density function of the form\n",
    "\n",
    "    density(n) = A + B / n \n",
    "    \n",
    "would fit the patterm.  I can try a `scipy.optimize.curve_fit` to estimate the parameters *A* and *B*:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 18,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "array([[  4.70916321e-33,  -1.30373854e-30],\n",
       "       [ -1.30373854e-30,   1.44885627e-27]])"
      ]
     },
     "execution_count": 18,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "from scipy.optimize import curve_fit\n",
    "\n",
    "Ns = list(range(100, 5001, 100))\n",
    "\n",
    "def f(n, A, B): return A + B / n\n",
    "\n",
    "((A, B), covariance) = curve_fit(f=f, xdata=Ns, ydata=[density(n) for n in Ns])\n",
    "\n",
    "covariance"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The `curve_fit` function returns a sequence of parameter values, and a covariance matrix. The fact that all the numbers in the covariance matrix are really small indicates that the parameters are a really good fit.  Here are the parameters, `A` and `B`:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 19,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "(0.43233235838169332, 0.29699707514503415)"
      ]
     },
     "execution_count": 19,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "A, B"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "We can plug them into a function that estimates the density:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 20,
   "metadata": {},
   "outputs": [],
   "source": [
    "def estimated_density(n): return A + B / n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "And we can test how close this function is to the true `density` function:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 21,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "6.106226635438361e-16"
      ]
     },
     "execution_count": 21,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "max(abs(density(n) - estimated_density(n))\n",
    "    for n in range(200, 4000))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "That says that, for all values of `n` from 200 to 4,000, `density(n)` and `estimated_density(n)` agree at least through the first 15 decimal places!\n",
    "\n",
    "We now have a plausible answer to the puzzle:\n",
    "\n",
    "> lim<sub style=\"font-size:large\"> <tt>n</tt>&rarr;&infin;</sub> <tt>density(n) &cong; A = 0.43233235838169</tt>"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Why?\n",
    "\n",
    "Theis answer is empirically strong (15 decimal places of accuracy) but theoretically weak: we don't have a **proof**, and we don't have an explanation for **why** the density function has this form. We need some more mathematical thinking. \n",
    "\n",
    "I didn't have any ideas, so I looked to see if anyone else had written something about the number 0.432332358169 I tried several searches and found two interesting formulas:\n",
    "\n",
    "- Search: [`[0.4323323]`](https://www.google.com/search?q=0.4323323) Formula: `sinh(1) / exp(1)` [(Page)](http://arxiv.org/pdf/1310.4360.pdf)\n",
    "- Search: [`[0.432332358]`](https://www.google.com/search?q=0.432332358) Formula: `0.5(1-e^(-2))` [(Page)](http://www.actuarialoutpost.com/actuarial_discussion_forum/archive/index.php/t-52095.html)\n",
    "\n",
    "I can verify that the two formulas are equivalent, and that they are indeed equal to `A` to at least 15 decimal places:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 22,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "(0.43233235838169365, 0.43233235838169365, 0.43233235838169332)"
      ]
     },
     "execution_count": 22,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "from math import sinh, exp, e\n",
    "\n",
    "S = sinh(1) / exp(1)\n",
    "E = 0.5 * (1 - e ** (-2))\n",
    "\n",
    "S, E, A"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "So I now have a suspicion that\n",
    "\n",
    "> lim <sub>n &rarr; &infin;</sub> density(n) = (1 - e<sup>-2</sup>) / 2\n",
    "\n",
    "but I still have no proof, nor any intuition as to why this is so."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "collapsed": true
   },
   "source": [
    "# John Lamping to the Rescue\n",
    "\n",
    "I reported my results to Anne Paulson and John Lamping, who had originally related the problem to me, and the next day John wrote back with the following:\n",
    "\n",
    "<blockquote>\n",
    "I got a derivation of the formula!\n",
    "\n",
    "<p>Suppose that each house has a different \"attractiveness\", and that when it is a misanthrope's turn to pick a house, they consider the houses in order, from most attractive to least, and pick the first house not next to any other house. If the attractiveness are chosen independently, this process gives the same probabilities as each misanthrope picking from the available houses randomly.\n",
    "\n",
    "<p>To be more concrete, let the attractivenesses range from 0 to 1 with uniform probability, with lower numbers being being considered earlier, and hence more attractive. (This makes the math come out easier.)\n",
    "\n",
    "<p>Given the attractiveness, a, of a house, we can compute the chance that it will end up getting picked. It will get picked if and only if neither house on either side gets considered earlier and gets picked. Lets consider one side, and assume the houses, and their attractivenesses, are labeled a, b, c, d, e, f, g, ... with the house we are considering being a. There are an infinite number of cases where b won't get considered before a and picked. Here are the first few:\n",
    "\n",
    "<p>   a < b  (a is considered before b)\n",
    "<p>   a > b > c < d  (Someone considered c first among these 4 and picked it. A later person considered b before a, but rejected it because c had already been chosen.)\n",
    "<p>   a > b > c > d > e < f (Someone considered e first among these 6, and picked it. A later person considered d, but rejected it because e was chosen, then considered c, which they picked. Still later, someone considered b, which they rejected because c had been chosen.)\n",
    "\n",
    "<p>We can write down the probabilities of these cases as a function of the attractiveness of a:\n",
    "\n",
    "<p>   a < b: The chance that b is greater than a: 1 - a.\n",
    "<p>   a > b > c < d: Let y = a - c, so y is between 0 and a. The probability is the integral over the possible y of the chance that b is between a and c, times the chance that d is greater than c, or integral from 0 to a of y * (1 - a + y) dy.\n",
    "<p>   a > b > c > d > e < f: Let y = a - e. The probability is the integral of (the chance that b, c, and d are all between a and e, and ordered right, which is y^3 / 3!, times the chance that f is greater than e, which is (1 - a + y))\n",
    "\n",
    "<p>If you work out the definite integrals, you get\n",
    "\n",
    "<p>   a < b: 1 - a\n",
    "<p>   a > b > c < d: a^2 / 2 - a^3 / 3!\n",
    "<p>   a > b > c > d > e < f: a^4 / 4! - a^5 / 5!\n",
    "\n",
    "<p>Add them all up, and you have 1 - a + a^2 / 2 - a^3 / 3! + a ^4 / 4! ... the Taylor expansion for e^-a. \n",
    "\n",
    "<p>Now, there will be a house at a if both adjacent houses are not picked earlier, so the chance is the square of the chance for one side: e^(-2a). Integrate that from 0 to 1, and you get 1/2 (1 - e^-2).\n",
    "</blockquote>\n",
    "\n",
    "You can compare John Lamping's solution to the solutions by [Jim Ferry](http://fivethirtyeight.com/features/the-perplexing-puzzle-of-the-proud-partygoers/) and [Andrew Mascioli](http://andrewmascioli.com/index.php/2016/04/24/the-misanthropic-neighborhood/). \n",
    "\n",
    "# Styles of Thinking\n",
    "\n",
    "It is clear that different write-ups of this problem display different styles of thinking. I'll attempt to name and describe them:\n",
    "\n",
    "- **Mathematical Publication Style**: This style uses sophisticated mathematics (e.g. generating functions, differentiation, asymptotic analysis, and manipulation of summations). It defines new abstractions without\n",
    "necessarily trying to motivate them first, it is terse and formal, and it gets us to the conclusion in a way that is\n",
    "clearly correct, but does not describe all the steps of how the author came up with the ideas. (Ferry and Mascioli)\n",
    "- **Mathematical Exploration Style**: Like the Mathematical Publication Style, but with more explanatory prose. (Lamping)\n",
    "- **Computational Thinking**: A more concrete style; tends to use programs with specific values of `n` rather than \n",
    "creating a proof for all values of `n`; produces tables or plots to help guide intuition; verifies results\n",
    "with tests or alternative implementations. (Norvig)\n",
    "\n",
    "In this specific puzzle, my steps were:\n",
    "- Analyze the problem and implement code to solve it for small values of `n`.\n",
    "- Plot results and examine them for insight.\n",
    "- Play with the results and get a guess at a partial solution <tt>density(n) &cong; A + B / n</tt>.\n",
    "- Solve numerically for `A` and `B`.\n",
    "- Do a search with the numeric value of `A` to find a formula with that value.\n",
    "- Given that formula, let Lamping figure out how it corresponds to the problem.\n",
    "\n",
    "This is mostly  computational thinking, with a little mathematical thrown in. \n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Validation by Anticipating Objections\n",
    "\n",
    "Is our implementation of `occ(n)` correct? I think it is, but I can anticipate some objections and answer them:\n",
    "\n",
    "- *In `occ(n)`, is it ok to start from all empty houses, rather than considering layouts of partially-occupied houses?* Yes, because the problem states that initially all houses are empty, and each choice of a house breaks the street up into runs of acceptable houses, flanked by unacceptable houses. If we get the computation right for a run of `n` acceptable houses, then we can get the whole answer right. A key point is that the chosen first house breaks the row of houses into 2 runs of *acceptable* houses, not 2 runs of *unoccupied* houses. If it were unoccupied houses, then we would have to also keep track of whether there were occupied houses to the right and/or left of the runs. By considering runs of acceptable houses, eveything is clean and simple.\n",
    "\n",
    "- *In `occ(7)`, if the first house chosen is 2, that breaks the street up into runs of 1 and 3 acceptable houses. There is only one way to occupy the 1 house, but there are several ways to occupy the 3 houses. Shouldn't the average give more weight to the 3 houses, since there are more possibilities there?* No. We are caclulating occupancy, and there is a specific number (5/3) which is the expected occupancy of 3 houses; it doesn't matter if there is one combination or a million combinations that contribute to that expected value, all that matters is what the expected value is.\n",
    "\n",
    "\n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Validation by Simulation\n",
    "\n",
    "\n",
    "A simulation can add credence to our implementation of `density(n)`, for two reasons:\n",
    "- The code for the simulation can  have a more direct correspondance to the problem statement.\n",
    "- When two very different implementations get the same result, that is evidence supporting both of them.\n",
    "\n",
    "\n",
    "The simulation will start with an empty set of occupied houses. We then go through the houses in random order, occupying just the ones that have no neighbor. (Note that `random.sample(range(n), n)` gives a random ordering of `range(n)`.)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 23,
   "metadata": {},
   "outputs": [],
   "source": [
    "import random\n",
    "\n",
    "def simulate(n):\n",
    "    \"Simulate moving in to houses, and return a sorted tuple of occupied houses.\"\n",
    "    occupied = set()\n",
    "    for house in random.sample(range(n), n):\n",
    "        if (house - 1) not in occupied and (house + 1) not in occupied:\n",
    "            occupied.add(house)\n",
    "    return sorted(occupied)\n",
    "\n",
    "def simulated_density(n, repeat=10000):\n",
    "    \"Estimate density by simulation, repeated `repeat` times.\"\n",
    "    return mean(len(simulate(n)) / n \n",
    "                for _ in range(repeat))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Let's see if the simulation returns results that match the actual `density` function and the `estimated_density` function:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 24,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "   n   simulate  density   estimated\n",
      "  10   0.4621    0.4620    0.4620\n",
      "  25   0.4442    0.4442    0.4442\n",
      "  50   0.4383    0.4383    0.4383\n",
      " 100   0.4354    0.4353    0.4353\n",
      " 200   0.4339    0.4338    0.4338\n",
      " 400   0.4331    0.4331    0.4331\n"
     ]
    }
   ],
   "source": [
    "print('   n   simulate  density   estimated')\n",
    "for n in (10, 25, 50, 100, 200, 400):\n",
    "    print('{:4d}   {:.4f}    {:.4f}    {:.4f}'\n",
    "          .format(n, simulated_density(n), density(n), estimated_density(n)))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "We get good agreement (at least to 3 decimal places), suggesting that either our three implementations are all correct, or we've made  mistakes in all three. \n",
    "\n",
    "The `simulate` function can also give us insights when we look at the results it produces:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 25,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "[0, 2, 4, 6]"
      ]
     },
     "execution_count": 25,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "simulate(7)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Let's repeat that multiple times, and store the results in a `Counter`, which tracks how many times it has seen each result:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 26,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "Counter({(0, 2, 4, 6): 3220,\n",
       "         (0, 2, 5): 1214,\n",
       "         (0, 3, 5): 1029,\n",
       "         (0, 3, 6): 827,\n",
       "         (1, 3, 5): 1417,\n",
       "         (1, 3, 6): 976,\n",
       "         (1, 4, 6): 1317})"
      ]
     },
     "execution_count": 26,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "from collections import Counter\n",
    "\n",
    "Counter(tuple(simulate(7)) for _ in range(10000))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "That says that about 1/3 of the time, things work out so that the 4 even-numbered houses are occupied. But if anybody ever chooses an odd-numbered house, then we are destined to have 3 houses occupied (in one of 6 different ways, of which (1, 3 5) is the most common, probably because it is the only one that has three chances of getting started with an odd-numbered house)."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Verification by Test\n",
    "\n",
    "Another way to gain more confidence in the code is to run a test suite:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 27,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "'ok'"
      ]
     },
     "execution_count": 27,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "def test():\n",
    "    assert occ(0) == 0\n",
    "    assert occ(1) == occ(2) == 1\n",
    "    assert occ(3) == 5/3\n",
    "    assert density(3) == occ(3) / 3\n",
    "    assert density(100) == occ(100) / 100\n",
    "    assert runs(3) == [(0, 1), (0, 0), (1, 0)]\n",
    "    assert runs(7) == [(0, 5), (0, 4), (1, 3), (2, 2), (3, 1), (4, 0), (5, 0)]\n",
    "    for n in (3, 7, 10, 20, 100, 101, 200, 201):\n",
    "        for repeat in range(500):\n",
    "            assert_valid(simulate(n), n)         \n",
    "    return 'ok'\n",
    "\n",
    "def assert_valid(occupied, n):\n",
    "    \"\"\"Assert that, in this collection of occupied houses, no house is adjacent to an\n",
    "    occupied house, and every unoccupied position is adjacent to an occupied house.\"\"\"\n",
    "    occupied = set(occupied) # coerce to set\n",
    "    for house in range(n):\n",
    "        if house in occupied:\n",
    "            assert not ((house - 1) in occupied or (house + 1) in occupied)\n",
    "        else:\n",
    "            assert      (house - 1) in occupied or (house + 1) in occupied\n",
    "\n",
    "test()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Conclusion\n",
    "\n",
    "I'm happy with my result:\n",
    "\n",
    "> <tt>lim <sub>n &rarr; &infin;</sub> density(n) = (1 - e<sup>-2</sup>) / 2 &cong; 0.43233235838169365 </tt>\n",
    "\n",
    "I got the fun of working on the puzzle, the satisfaction of seeing John Lamping work out a proof, and the awe of seeing the mathematically sophisticated solutions of Jim Ferry and Andrew Mascioli, solutions that I know I could never come up with, but that I could get near to by coming at the problem with a different style of thinking."
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.5.3"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 1
}
